The MSO theory of connectedly communicating processes
10.1007/11590156_16
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| 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 |
| id |
sg-nus-scholar.10635-41913 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-419132015-01-06T00:03:18Z The MSO theory of connectedly communicating processes Madhusudan, P. Thiagarajan, P.S. Yang, S. COMPUTER SCIENCE 10.1007/11590156_16 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3821 LNCS 201-212 2013-07-04T08:38:50Z 2013-07-04T08:38:50Z 2005 Conference Paper Madhusudan, P.,Thiagarajan, P.S.,Yang, S. (2005). The MSO theory of connectedly communicating processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3821 LNCS : 201-212. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/11590156_16" target="_blank">https://doi.org/10.1007/11590156_16</a> 3540304959 03029743 http://scholarbank.nus.edu.sg/handle/10635/41913 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| description |
10.1007/11590156_16 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Madhusudan, P. Thiagarajan, P.S. Yang, S. |
| format |
Conference or Workshop Item |
| author |
Madhusudan, P. Thiagarajan, P.S. Yang, S. |
| spellingShingle |
Madhusudan, P. Thiagarajan, P.S. Yang, S. The MSO theory of connectedly communicating processes |
| author_sort |
Madhusudan, P. |
| title |
The MSO theory of connectedly communicating processes |
| title_short |
The MSO theory of connectedly communicating processes |
| title_full |
The MSO theory of connectedly communicating processes |
| title_fullStr |
The MSO theory of connectedly communicating processes |
| title_full_unstemmed |
The MSO theory of connectedly communicating processes |
| title_sort |
mso theory of connectedly communicating processes |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/41913 |
| _version_ |
1681082525395451904 |