Login / Signup

Semantics of Message Sequence Charts.

Alexander A. LetichevskyJulia V. KapitonovaVsevolod KotlyarovVladislav A. VolkovA. A. Letichevsky Jr.Thomas Weigert
Published in: SDL Forum (2005)
Keyphrases
  • semantic information
  • formal semantics
  • logic programming
  • temporal sequences
  • high level
  • email
  • communication channels
  • program chairs
  • statistical process control