Graphical versus logical specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 431 LNCS, Issue , 1990, Pages 57-71

  Boudol, Gérard ^a   Larsen, Kim G ^b  

^a INRIA   (France)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORESTRY;

CONCURRENT SYSTEMS; HENNESSY-MILNER LOGICS; LARS-EN; LOGICAL SPECIFICATIONS; MODAL TRANSITION SYSTEMS; VERIFICATION METHOD;

SPECIFICATIONS;

EID: 85029435845     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-52590-4_40     Document Type: Conference Paper

References (14)

1. A. ARNOLD, MEC: a System for Constructing and Analysing Transition Systems, to appear in Proceedings of the 1st Workshop on Automatic Verification-Methods for Finite State Systems, Grenoble (1989).
2. G. BOUDOL, E. DE SIMONE, D. VERGAMINI, Experiment with AUTO and AUTOGRAPH on a Simple Case of Sliding Window Protocol, INRIA Res. Rep. 870 (1988).
3. R. CLEAVELAND, J. PARROW, B. STEFFEN, The Concurrency Worbench, Rep. ECS-LFCS-89-83, Edinburgh (1989).
4. J. GODSKESEN, K. G. Larsen, M. ZeEBERG, TAV Users Manual, Alborg University (1989).
5. S. Graf, J. Sifakis, A Logic for the Description of Non-deterministic Programs and their Properties, Information and Control 68 (1986) 254-270.
6. M. HENNESSY, R. Milner, Algebraic Laws for Nondeterminism and Concurrency, JACM 32 (1985) 137-161.
7. H. HÜTTEL, Operational and Denotational Properties of a Modal Process Logic, Report 88-27, Dept, of Mathematics and Comput. Sci., Ålborg University (1988).
8. H. HÜTTEL, K. G. LARSEN, The Use of Static Constructs in a Modal Process Logic, Logic at Botik 89, Lecture Notes in Comput. Sci. 363 (1989) 163-180.
9. K. G. LARSEN, B. THOMSEN, A Modal Process Logic, Proc. LICS 88 (1988) 203-210.
10. K. G. LARSEN, Modal Specifications, Report 89-9, Dept, of Mathematics and Comput. Sci., Ålborg University (1988) to appear in Proceedings of the 1st Workshop on Automatic Verification Methods for Finite State Systems, Grenoble.
11. V. LECOMPTE, E. MADELAINE, D. VERGAMINI, AUTO, un système de vérification de processus parallèles et communicants, Rapport Technique INRIA 83 (1987).
12. R. MILNER, A Modal Characterisation of Observable Machine-Behaviour, CAAP 81, Lecture Notes in Comput. Sci. 112 (1981) 25-34.
13. A. PNUELI, Linear and Branching Structures in the Semantics and Logics of Reactive Systems, ICALP 85, Lecture Notes in Comput. Sci. 194 (1985) 15-32.
14. C. STIRLING, Modal Logics for Communicating Systems, Theoretical Comput. Sci. 49 (1987) 311-347.