A theory of regular MSC languages

A theory of regular MSC languages

10.1016/j.ic.2004.08.004

Saved in:
Bibliographic Details
Main Authors: Henriksen, J.G., Mukund, M., Kumar, K.N., Sohoni, M., Thiagarajan, P.S.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Message sequence charts
Message-passing systems
Monadic second-order logic
Realizability
Regularity
Synthesis
Online Access:http://scholarbank.nus.edu.sg/handle/10635/39782
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/39782

Similar Items