20126 search results - page 213 / 4026 » Timed Transition Systems |
152
click to vote
CORR
2009
Springer
15 years 1 months ago
2009
Springer
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
105
click to vote
KES
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present a method for finding general dependencies between individual agents in a multi-agent system. We use mutual information as the general measure for dependen...
121
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
114
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
111
click to vote
FUIN
2008
15 years 3 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...