๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Decidable Clock Language for Synchronous Specifications

โœ Scribed by Mirabelle Nebut; Sophie Pinchinat

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
229 KB
Volume
65
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A tactic language for refinement of stat
A tactic language for refinement of state-rich concurrent specifications
โœ Marcel Oliveira; Frank Zeyda; Ana Cavalcanti ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 849 KB

Circus is a refinement language in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and calculus are distinctive, but since refinements may be long and repetitive, the practical application of this technique c

ConSpec โ€” A formal language for policy s
ConSpec โ€” A formal language for policy specification
โœ Irem Aktug; Katsiaryna Naliuka ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 716 KB

The paper presents ConSpec, an automata-based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle,

Some Algorithms for Synchronizing Clocks
Some Algorithms for Synchronizing Clocks of Base Transceiver Stations in a Cellular Network
โœ Jean-Louis Dornstetter; Daniel Krob; Michel Morvan; Laurent Viennot ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 193 KB

This paper deals with synchronization problems arising in the context of cellular networks. It presents and compares several algorithms that can be used for solving these problems.