Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications-Reference-Cited by-同舟云学术

Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications

Published:1990 Issue: Volume: Page:54-67
ISSN:0302-9743
Container-title:Automatic Verification Methods for Finite State Systems
language:
Short-container-title:

Author:

Nicola R.,Inverardi P.,Nesi M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-52148-8_5.pdf

Reference27 articles.

1. Bolognesi, T., Brinksma, E. Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems, 14, (1987), 25–59.

2. Bolognesi, T., Caneve, M. Squiggles — A Tool for the Analysis of Lotos Specifications, in Formal Description Techniques (K. Turner, ed.), North-Holland, (1989), 201–216.

3. Bachmair, L., Dershowitz, N. Completion for Rewriting modulo a Congruence, Proc. RTA '87, LNCS 256, (May 1987), 192–203.

4. Bergstra, J.A., Klop, J.W. Process Algebra for Synchronous Communication, Information and Control, 60, No. 1/3, (1984), 109–137.

5. Bolognesi, T., Smolka, S. A. Fundamental Results for the Verification of Observational Equivalence: A Survey, Proc. IFIP TC6/WG 6.1, (1987).

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Behavior Trees as executable representation of Milner Calculus notations;2022 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT);2022-11

2. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

3. From the Archives of the Formal Methods and Tools Lab;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

4. Automatic verification of distributed systems: The process algebra approach;Formal Methods in System Design;1996-01

5. Assisting requirement formalization by means of natural language translation;Formal Methods in System Design;1994-05