1369 search results - page 165 / 274 » On the Semantics of Petri Nets |
96
Voted
ZEUS
2010
15 years 2 months ago
2010
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
116
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
93
Voted
PDSE
2000
15 years 2 months ago
2000
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...
GG
2008
Springer
15 years 1 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
100
click to vote
APLAS
2010
ACM
15 years 27 days ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...