1724 search results - page 284 / 345 » Models for Concurrency |
OPODIS
2004
13 years 10 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
ASPLOS
2006
ACM
14 years 2 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
ACSD
2001
IEEE
14 years 11 days ago
2001
IEEE
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose a comprehensive solution to handle memory-overflow problems in multitasking embedded systems thereby improving their reliability and availability. In particular, we pro...