Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 38-53
https://doi.org/10.1007/3-540-52148-8_4

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

On visual formalisms
Communications of the ACM, 1988
Modelling statecharts behaviour in a fully abstract way
Published by Springer Nature ,1988
Statecharts: a visual formalism for complex systems
Science of Computer Programming, 1987
On the Development of Reactive Systems
Published by Springer Nature ,1985
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980