Communicating transaction processes: An MSC-based model of computation for reactive embedded systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Saved in:
Main Authors: | Roychoudhury, A., Thiagarajan, P.S. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39359 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Schedulability analysis of MSC-based system models
by: Ju, L., et al.
Published: (2013) -
Designing communicating transaction processes by supervisory control theory
by: Feng, L., et al.
Published: (2013) -
A theory of regular MSC languages
by: Henriksen, J.G., et al.
Published: (2013) -
Abstract cyclic communicating processes: A logical view
by: Thiagarajan, P.S.
Published: (2014) -
The MSO theory of connectedly communicating processes
by: Madhusudan, P., et al.
Published: (2013)