The MSO theory of connectedly communicating processes
10.1007/11590156_16
Saved in:
Main Authors: | Madhusudan, P., Thiagarajan, P.S., Yang, S. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/41913 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Designing communicating transaction processes by supervisory control theory
by: Feng, L., et al.
Published: (2013) -
A decidable class of asynchronous distributed controllers
by: Madhusudan, P., et al.
Published: (2013) -
Abstract cyclic communicating processes: A logical view
by: Thiagarajan, P.S.
Published: (2014) -
Standar Kinerja MSO (Marketing And Sales Officer) Pada Pelindo III Di PT. Pelindo III Banjarmasin
by: Abdul Kodir, -
Published: (2019) -
Communicating transaction processes: An MSC-based model of computation for reactive embedded systems
by: Roychoudhury, A., et al.
Published: (2013)