1724 search results - page 34 / 345 » Models for Concurrency |
AEI
2000
13 years 7 months ago
2000
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...
TCC
2007
Springer
14 years 1 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
TACS
1994
Springer
13 years 11 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...
ACSD
2003
IEEE
14 years 26 days ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
FOSSACS
2000
Springer
13 years 11 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...