117 search results - page 9 / 24 » A Semantic Theory for Concurrent ML |
90
Voted
JLP
2006
14 years 11 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
180
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
92
Voted
APN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
89
Voted
REX
1993
15 years 3 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
114
click to vote
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...