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

id	sg-nus-scholar.10635-39782
record_format	dspace
spelling	sg-nus-scholar.10635-397822023-10-25T07:32:25Z A theory of regular MSC languages Henriksen, J.G. Mukund, M. Kumar, K.N. Sohoni, M. Thiagarajan, P.S. COMPUTER SCIENCE Message sequence charts Message-passing systems Monadic second-order logic Realizability Regularity Synthesis 10.1016/j.ic.2004.08.004 Information and Computation 202 1 1-38 INFCE 2013-07-04T07:49:26Z 2013-07-04T07:49:26Z 2005 Article Henriksen, J.G., Mukund, M., Kumar, K.N., Sohoni, M., Thiagarajan, P.S. (2005). A theory of regular MSC languages. Information and Computation 202 (1) : 1-38. ScholarBank@NUS Repository. https://doi.org/10.1016/j.ic.2004.08.004 08905401 http://scholarbank.nus.edu.sg/handle/10635/39782 000232281700001 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Message sequence charts Message-passing systems Monadic second-order logic Realizability Regularity Synthesis
spellingShingle	Message sequence charts Message-passing systems Monadic second-order logic Realizability Regularity Synthesis Henriksen, J.G. Mukund, M. Kumar, K.N. Sohoni, M. Thiagarajan, P.S. A theory of regular MSC languages
description	10.1016/j.ic.2004.08.004
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Henriksen, J.G. Mukund, M. Kumar, K.N. Sohoni, M. Thiagarajan, P.S.
format	Article
author	Henriksen, J.G. Mukund, M. Kumar, K.N. Sohoni, M. Thiagarajan, P.S.
author_sort	Henriksen, J.G.
title	A theory of regular MSC languages
title_short	A theory of regular MSC languages
title_full	A theory of regular MSC languages
title_fullStr	A theory of regular MSC languages
title_full_unstemmed	A theory of regular MSC languages
title_sort	theory of regular msc languages
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39782
_version_	1781411057787469824

A theory of regular MSC languages

Similar Items