329 search results - page 4 / 66 » Asynchronous Communication in Process Algebra |
ATAL
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
JSS
2010
13 years 2 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
ACSD
2006
IEEE
14 years 1 months ago
2006
IEEE
an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...
CONCUR
1997
Springer
13 years 11 months ago
1997
Springer
We study properties of asynchronous communication independently of any concrete concurrent process paradigm. We give a general-purpose, mathematically rigorous definition of sever...