Decidability of bisimulation equivalence for processes generating context-free languages

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

doi:10.1007/3-540-17945-3_5

Decidability of bisimulation equivalence for processes generating context-free languages

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

60 Citaten (Scopus)

118 Downloads (Pure)

Originele taal-2	Engels
Titel	PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987)
Redacteuren	J.W. Bakker, de, A.J. Nijman, P.C. Treleaven
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	94-111
Volume	2
ISBN van geprinte versie	3-540-17945-3
DOI's	https://doi.org/10.1007/3-540-17945-3_5
Status	Gepubliceerd - 1987

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	259
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/3-540-17945-3_5

586784Definitieve gepubliceerde versie, 1,87 MB

Citeer dit

Baeten, J. C. M., Bergstra, J. A., & Klop, J. W. (1987). Decidability of bisimulation equivalence for processes generating context-free languages. In J. W. Bakker, de, A. J. Nijman, & P. C. Treleaven (editors), PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987) (Vol. 2, blz. 94-111). (Lecture Notes in Computer Science; Vol. 259). Springer. https://doi.org/10.1007/3-540-17945-3_5

Baeten, J.C.M. ; Bergstra, J.A. ; Klop, J.W. / Decidability of bisimulation equivalence for processes generating context-free languages. PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987). redacteur / J.W. Bakker, de ; A.J. Nijman ; P.C. Treleaven. Vol. 2 Berlin : Springer, 1987. blz. 94-111 (Lecture Notes in Computer Science).

@inproceedings{621950bf602144388ad3445afb8de75b,

title = "Decidability of bisimulation equivalence for processes generating context-free languages",

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

year = "1987",

doi = "10.1007/3-540-17945-3\_5",

language = "English",

isbn = "3-540-17945-3",

volume = "2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "94--111",

editor = "\{Bakker, de\}, J.W. and A.J. Nijman and P.C. Treleaven",

booktitle = "PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987)",

address = "Germany",

}

Baeten, JCM, Bergstra, JA & Klop, JW 1987, Decidability of bisimulation equivalence for processes generating context-free languages. in JW Bakker, de, AJ Nijman & PC Treleaven (reds.), PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987). vol. 2, Lecture Notes in Computer Science, vol. 259, Springer, Berlin, blz. 94-111. https://doi.org/10.1007/3-540-17945-3_5

Decidability of bisimulation equivalence for processes generating context-free languages. / Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987). reds. / J.W. Bakker, de; A.J. Nijman; P.C. Treleaven. Vol. 2 Berlin: Springer, 1987. blz. 94-111 (Lecture Notes in Computer Science; Vol. 259).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Decidability of bisimulation equivalence for processes generating context-free languages

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Klop, J.W.

PY - 1987

Y1 - 1987

U2 - 10.1007/3-540-17945-3_5

DO - 10.1007/3-540-17945-3_5

M3 - Conference contribution

SN - 3-540-17945-3

VL - 2

T3 - Lecture Notes in Computer Science

SP - 94

EP - 111

BT - PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987)

A2 - Bakker, de, J.W.

A2 - Nijman, A.J.

A2 - Treleaven, P.C.

PB - Springer

CY - Berlin

ER -

Baeten JCM, Bergstra JA, Klop JW. Decidability of bisimulation equivalence for processes generating context-free languages. In Bakker, de JW, Nijman AJ, Treleaven PC, redacteurs, PARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987). Vol. 2. Berlin: Springer. 1987. blz. 94-111. (Lecture Notes in Computer Science). doi: 10.1007/3-540-17945-3_5