Interpreting Message Flow Graphs

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 20

Record: found
Abstract: not found
Book: not found

The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli (1992)

0 comments Cited 163 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The temporal logic of actions

Leslie Lamport (1994)

0 comments Cited 99 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

The Esterel synchronous programming language: design, semantics, implementation

Gerard Berry, Georges Gonthier (1992)

0 comments Cited 87 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: Formal Aspects of Computing

Abbreviated Title: Formal Aspects of Computing

Publisher: Springer Nature

ISSN (Print): 0934-5043

ISSN (Electronic): 1433-299X

Publication date Created: September 1995

Publication date (Electronic): April 21 2015

Publication date (Print): September 1995

Volume: 7

Issue: 5

Pages: 473-509

Article

DOI: 10.1007/BF01211629

SO-VID: fd1ca7df-83b2-474c-a163-f5757606870a

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.