1564 search results - page 43 / 313 » Extensions to the Estimation Calculus |
100
click to vote
CALCO
2007
Springer
15 years 8 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
100
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
147
click to vote
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence resu...
109
click to vote
COORDINATION
2008
Springer
15 years 3 months ago
2008
Springer
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reas...
110
click to vote
INFORMATICALT
2000
15 years 1 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...