Deadlock behaviour in split and ST bisimulation semantics

J.C.M. Baeten; J.A. Bergstra

doi:10.1016/S1571-0661(04)00117-3

Deadlock behaviour in split and ST bisimulation semantics

J.C.M. Baeten, J.A. Bergstra

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

114 Downloads (Pure)

Original language	English
Title of host publication	Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98)
Editors	I. Castellani, C. Palamidessi
Pages	61-74
DOIs	https://doi.org/10.1016/S1571-0661(04)00117-3 https://doi.org/10.1016/0304-3975(81)90031-1
Publication status	Published - 1998

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	16
ISSN (Print)	1571-0061

Access to Document

publishers versionFinal published version, 658 KB

Cite this

Baeten, J. C. M., & Bergstra, J. A. (1998). Deadlock behaviour in split and ST bisimulation semantics. In I. Castellani, & C. Palamidessi (Eds.), Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98) (pp. 61-74). (Electronic Notes in Theoretical Computer Science; Vol. 16). https://doi.org/10.1016/S1571-0661(04)00117-3, https://doi.org/10.1016/0304-3975(81)90031-1

@inproceedings{3424fb061ea64642a9dee3d9a5e4b232,

title = "Deadlock behaviour in split and ST bisimulation semantics",

author = "J.C.M. Baeten and J.A. Bergstra",

year = "1998",

doi = "10.1016/S1571-0661(04)00117-3",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "61--74",

editor = "I. Castellani and C. Palamidessi",

booktitle = "Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98)",

}

Baeten, JCM & Bergstra, JA 1998, Deadlock behaviour in split and ST bisimulation semantics. in I Castellani & C Palamidessi (eds), Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98). Electronic Notes in Theoretical Computer Science, vol. 16, pp. 61-74. https://doi.org/10.1016/S1571-0661(04)00117-3, https://doi.org/10.1016/0304-3975(81)90031-1

Deadlock behaviour in split and ST bisimulation semantics. / Baeten, J.C.M.; Bergstra, J.A.
Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98). ed. / I. Castellani; C. Palamidessi. 1998. p. 61-74 (Electronic Notes in Theoretical Computer Science; Vol. 16).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Deadlock behaviour in split and ST bisimulation semantics

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

PY - 1998

Y1 - 1998

U2 - 10.1016/S1571-0661(04)00117-3

DO - 10.1016/S1571-0661(04)00117-3

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 61

EP - 74

BT - Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98)

A2 - Castellani, I.

A2 - Palamidessi, C.

ER -

Baeten JCM, Bergstra JA. Deadlock behaviour in split and ST bisimulation semantics. In Castellani I, Palamidessi C, editors, Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98). 1998. p. 61-74. (Electronic Notes in Theoretical Computer Science). doi: 10.1016/S1571-0661(04)00117-3, 10.1016/0304-3975(81)90031-1