6 search results - page 1 / 2 » The Coarsest Precongruences Respecting Safety and Liveness P... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
ACSD
2005
IEEE
13 years 11 months ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
ICICS
2005
Springer
13 years 11 months ago
2005
Springer
We design and analyze a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidanc...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...