7099 search results - page 344 / 1420 » Context for models of concurrency |
190
click to vote
LPAR
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
224
click to vote
SBACPAD
2003
IEEE
16 years 25 days ago
2003
IEEE
Traffic monitoring and analysis based on general purpose systems with high speed interfaces, such as Gigabit Ethernet and 10 Gigabit Ethernet, requires carefully designed software...
175
click to vote
FM
2003
Springer
16 years 23 days ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
214
click to vote
IFIP
2009
Springer
16 years 4 days ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
168
click to vote
TIME
1998
IEEE
15 years 11 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...