The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP

Christel BaierChristel Baier, Mila E. Majster-CederbaumMila E. Majster-Cederbaum

DOI Link

Christel Baier, Mila E. Majster-Cederbaum
The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP
8th International Symposium on Fundamentals of Computation Theory (FCT), volume 529 of Lecture Notes in Computer Science, 105--120, 1991. Springer

Details
Bibtex

Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/3-540-54458-5_55.

@inproceedings{BM1991,
  author    = {Christel Baier and Mila E. Majster-Cederbaum},
  title     = {The Consistency of a Noninterleaving and an Interleaving Model
               for Full {TCSP}},
  booktitle = {8th International Symposium on Fundamentals of Computation Theory
               (FCT)},
  series    = {Lecture Notes in Computer Science},
  volume    = {529},
  publisher = {Springer},
  year      = {1991},
  pages     = {105--120},
  doi       = {10.1007/3-540-54458-5_55}
}