3239 search results - page 93 / 648 » A Logical Process Calculus |
115
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
109
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
126
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
A linear forwarder is a process which receives one message on a channel and sends it on a different channel. Such a process allows for a simple implementation of the asynchronous...
114
click to vote
NDJFL
1998
15 years 2 months ago
1998
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi
132
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...