Towards verification of systems of asynchronous concurrent processes

CEUR Workshop Proceedings

Volumn 180, Issue , 2006, Pages 123-130

  Rychly, Marek ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

Calculus; Asynchronous network model; Formal specification; System of asynchronous concurrent processes; Validation; Verification

Indexed keywords

ASYNCHRONOUS CONCURRENT; ASYNCHRONOUS DISTRIBUTED SYSTEM; ASYNCHRONOUS NETWORKS; DISTRIBUTED INFORMATION SYSTEMS; FORMAL SPECIFICATION; FORMAL SPECIFICATION AND VERIFICATION; INFORMATION TECHNOLOGY SYSTEMS; VALIDATION;

CALCULATIONS; COMPUTER PROGRAMMING; INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA); SOFTWARE AGENTS; SPECIFICATIONS; VERIFICATION;

INFORMATION SYSTEMS;

EID: 84883760304     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Sumit Ghosh. Algorithm Design for Networked Information Technology Systems. Springer. New York. 2004.
2. Nancy A. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers. San Francisco, CA, USA. 1996.
3. Marek Rychly. A reusable framework for systems of asynchronous concurrent processes. Available from http://www.fit.vutbr.cz/rychly/public/docs/reusable- framework-for-acp-systems/reusable-framework-for-acp-systems.pdf. 2006.
4. Robin Milner, Joachim Parrow, and David J. Walker. A calculus of mobile processes, I and II. Information and Computation, 100(1): 1-40 and 41-77, 1992.
5. Victor Björn and Faron Moller. The Mobility Workbench - a tool for the π-calculus. In David Dill, editor, CAV'94: Computer Aided Verification, Volume 818 of Lecture Notes in Computer Science, pages 428-440. Springer-Verlag, 1994.
6. Ugo Montanari and Marco Pistore. Finite state verification for the asynchronous π-calculus. In TAC AS '99: Proceedings of the 5 th International Conference on Tools and Algorithms for Construction and Analysis of Systems, pages 255-269, London, UK. Springer-Verlag, 1999.
7. Mads Dam. Proof systems for π-calculus logics. In R. de Queiroz, editor, Logic for Concurrency and Synchronisation, Trends in Logic, Studia Logica Library, pages 145-212. Kluwer, 2003.