132
Voted
ACSD
15 years 2 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...
102
Voted
ACSD
15 years 7 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...
105
click to vote
ACSD
15 years 7 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....
109
click to vote
ACSD
15 years 7 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...
78
Voted
ACSD
15 years 7 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