790 search results - page 130 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
107
click to vote
APLAS
2007
ACM
15 years 3 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
EWSA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
132
click to vote
EKAW
1992
Springer
15 years 3 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...