570 search results - page 37 / 114 » concurrency 2006 |
170
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
136
click to vote
JSA
2006
15 years 6 months ago
2006
This paper proposes a new concurrent data structure, called parallel hash table, for synchronizing the access of multiple threads to resources stored in a shared buffer. We prove ...
156
click to vote
IJSTM
2000
15 years 5 months ago
2000
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...
185
click to vote
JCSC
1998
15 years 5 months ago
1998
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
158
click to vote
IANDC
2006
15 years 6 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...