151
click to vote
ACSD
15 years 4 months ago
2008 IEEE 
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
120
click to vote
ACSD
15 years 8 months ago
2008 IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
118
click to vote
ACSD
15 years 8 months ago
2008 IEEE 
Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
125
click to vote
ACSD
15 years 8 months ago
2008 IEEE 
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
ACSD
15 years 8 months ago
2008 IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
|
Hardware