Title of article
A theory of regular MSC languages
Author/Authors
Jesper G. Henriksen، نويسنده , , Madhavan Mukund، نويسنده , , K. Narayan Kumar، نويسنده , , Milind Sohoni، نويسنده , , P.S. Thiagarajan، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
38
From page
1
To page
38
Keywords
Message-passing systems , Regularity , synthesis , Message sequence charts , Monadic secondorderlogic , realizability
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262309
Link To Document