906 search results - page 4 / 182 » Linking Theories of Concurrency |
157
click to vote
CSL
2009
Springer
16 years 18 days ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
174
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
148
click to vote
TFM
2009
Springer
16 years 18 days ago
2009
Springer
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
144
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
148
click to vote
CAI
2009
Springer
16 years 18 days ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.