1888 search results - page 36 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
106
Voted
ASIAN
1998
Springer
15 years 6 months ago
1998
Springer
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for e...
139
Voted
LPAR
2010
Springer
15 years 13 days ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...
111
Voted
RV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We consider monitoring and checking formally specified properties in a network. We are addressing the problem of deploying the checkers on different network nodes that ...
131
Voted
SPRINGSIM
2007
15 years 3 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
120
click to vote
ENTCS
2006
15 years 2 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...