46 search results - page 1 / 10 » Covering Transitions of Concurrent Systems through Queues |
ISSRE
2005
IEEE
13 years 10 months ago
2005
IEEE
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
SOCA
2010
IEEE
13 years 3 months ago
2010
IEEE
In asynchronous event systems, the production of an event is decoupled from its consumption via an event queue. The loose coupling of such systems allows great flexibility as to ...
LICS
2000
IEEE
13 years 9 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...
WSC
2008
13 years 7 months ago
2008
This research proposes the integration of a Geographic Information System (GIS) with the Arena Simulation software to model the transit of ocean-going vessels through the Panama C...