Conference paper

RYCHLÝ Marek. Towards Verification of Systems of Asynchronous Concurrent Processes. In: Proceedings of 9th International Conference ISIM'06. Přerov, 2006, pp. 123-130. ISBN 80-86840-19-0.
Publication language:english
Original title:Towards Verification of Systems of Asynchronous Concurrent Processes
Title (cs):Verifikace systémů asynchronních souběžných procesů
Proceedings:Proceedings of 9th International Conference ISIM'06
Conference:Information Systems Implementation and Modelling 2006 (ISIM'06)
Place:Přerov, CZ
+Type Name Title Size Last modified
iconpresentation.pdfpresentation at the ISIM'06 conference (slides)207 KB2007-04-19 14:38:32
icontowards-verification-of-acp-systems.pdfTowards Verification of Systems of Asynchronous Concurrent Processes410 KB2007-04-19 14:09:01
^ Select all
With selected:
Asynchronous Network Model, System of Asynchronous Concurrent Processes, pi-Calculus, Formal Specification, Verification, Validation
Distributed information systems as applications of networked information technology systems create needs for reliable architectures with emphasis on formal specification, verification and validation. In fact, software confederations and global software systems connect many concurrent processes into asynchronous network systems, e.g. via service-oriented architecture or multiple agent architecture. A reusable object-oriented software framework for systems of asynchronous concurrent processes based on the modified asynchronous network model provides a framework for implementation of asynchronous distributed systems and their translation into the process algebra. This paper is about a formal specification and verification of systems implemented using the framework by means of the calculus of mobile processes (pi-calculus).
   author = {Marek Rychl{\'{y}}},
   title = {Towards Verification of Systems of Asynchronous
	Concurrent Processes},
   pages = {123--130},
   booktitle = {Proceedings of 9th International Conference ISIM'06},
   year = 2006,
   location = {P{\v{r}}erov, CZ},
   ISBN = {80-86840-19-0},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https