1206 search results - page 98 / 242 » Concurrent Abstract Predicates |
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
121
click to vote
CP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
126
click to vote
APN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
136
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
102
click to vote
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...