7109 search results - page 1 / 1422 » Process Algebra with Combinators |
CSL
1993
Springer
15 years 4 months ago
1993
Springer
NDJFL
1998
14 years 12 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
109
click to vote
EPEW
2008
Springer
15 years 2 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
IMECS
2007
15 years 1 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...