Timing analysis of MSC specifications with asynchronous concatenation.

Minxue Pan Xuandong Li

Published in: Int. J. Softw. Tools Technol. Transf. (2012)

Keyphrases

delay insensitive
state machines
asynchronous circuits
regular expressions
written in natural language
formal specification
asynchronous communication
database
model checking
database systems
control flow
information systems
reactive systems
real world
neural network
databases
attribute grammars
real time