Formal Semantics of Basic Message Sequence Charts: an Algebraic Approach.

Piotr Kosiuczenko

Published in: FBT (1997)

Keyphrases

formal semantics
er model
operational semantics
modelling language
logical language
email
formal language
theorem prover
ontology languages
first order logic
artificial intelligence
high level
software development