Timing Constraints in Message Sequence Chart Specifications

Open Access

Publisher Website

1 January 1997

book chapter
Published by Springer Nature

p. 91-106
https://doi.org/10.1007/978-0-387-35271-8_6

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Interpreting Message Flow Graphs
Formal Aspects of Computing, 1995
Temporal constraint networks
Artificial Intelligence, 1991
SDE: incremental specification and development of communications software
IEEE Transactions on Computers, 1991