Time in Message Sequence Charts: A Formal Approach (Extended Abstract).

Piotr Kosiuczenko

Published in: Euro-Par (1997)

Keyphrases

extended abstract
formal specification
database
neural network
information systems
pairwise
pseudorandom
sequence analysis
statistical process control