Bundle event structures: a non-interleaving semantics for LOTOS

Rom Langerak

Bundle event structures: a non-interleaving semantics for LOTOS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

Original language	English
Title of host publication	FORTE '92
Subtitle of host publication	proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992
Editors	Michel Diaz, Roland Groz
Place of Publication	Amsterdam
Publisher	North Holland
Pages	331-346
ISBN (Print)	0-444-89282-6
Publication status	Published - 1991
Event	5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992 - Perros-Guirec, France Duration: 13 Oct 1992 → 16 Oct 1992 Conference number: 5

Publication series

Name	IFIP transactions C, Communication systems
Publisher	North-Holland
Volume	10
ISSN (Print)	0926-549X

Conference

Conference	5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992
Abbreviated title	FORTE 1992
Country/Territory	France
City	Perros-Guirec
Period	13/10/92 → 16/10/92

Access to Document

https://dl.acm.org/doi/10.5555/646211.683771

2 Report

Modeling systems by probabilistic process algebra: an event structures approach
Katoen, J.-P., Langerak, R. & Latella, D., 1993, Enschede: University of Twente. 22 p. (Memoranda informatica; no. 93-29)(Memorandum TIOS; no. 93-17)
Research output: Book/Report › Report › Professional
Bundle event structures: a non-interleaving semantics for LOTOS
Langerak, R., 1991, Enschede: University of Twente. 16 p. (Memoranda Informatica; no. 91-60)(Memorandum TIOS; no. 91-024)
Research output: Book/Report › Report › Professional

Cite this

Langerak, R. (1991). Bundle event structures: a non-interleaving semantics for LOTOS. In M. Diaz, & R. Groz (Eds.), FORTE '92: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992 (pp. 331-346). (IFIP transactions C, Communication systems; Vol. 10). North Holland. https://dl.acm.org/doi/10.5555/646211.683771

Langerak, Rom. / Bundle event structures : a non-interleaving semantics for LOTOS. FORTE '92: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992. editor / Michel Diaz ; Roland Groz. Amsterdam : North Holland, 1991. pp. 331-346 (IFIP transactions C, Communication systems).

@inproceedings{6eb9c57c65424a35b6ec55f954e262bd,

title = "Bundle event structures: a non-interleaving semantics for LOTOS",

author = "Rom Langerak",

year = "1991",

language = "English",

isbn = "0-444-89282-6",

series = "IFIP transactions C, Communication systems",

publisher = "North Holland",

pages = "331--346",

editor = "Michel Diaz and Roland Groz",

booktitle = "FORTE '92",

address = "Netherlands",

note = "5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992, FORTE 1992 ; Conference date: 13-10-1992 Through 16-10-1992",

}

Langerak, R 1991, Bundle event structures: a non-interleaving semantics for LOTOS. in M Diaz & R Groz (eds), FORTE '92: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992. IFIP transactions C, Communication systems, vol. 10, North Holland, Amsterdam, pp. 331-346, 5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992, Perros-Guirec, France, 13/10/92. <https://dl.acm.org/doi/10.5555/646211.683771>

Bundle event structures: a non-interleaving semantics for LOTOS. / Langerak, Rom.
FORTE '92: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992. ed. / Michel Diaz; Roland Groz. Amsterdam: North Holland, 1991. p. 331-346 (IFIP transactions C, Communication systems; Vol. 10).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

TY - GEN

T1 - Bundle event structures

T2 - 5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992

AU - Langerak, Rom

N1 - Conference code: 5

PY - 1991

Y1 - 1991

M3 - Conference contribution

SN - 0-444-89282-6

T3 - IFIP transactions C, Communication systems

SP - 331

EP - 346

BT - FORTE '92

A2 - Diaz, Michel

A2 - Groz, Roland

PB - North Holland

CY - Amsterdam

Y2 - 13 October 1992 through 16 October 1992

ER -

Langerak R. Bundle event structures: a non-interleaving semantics for LOTOS. In Diaz M, Groz R, editors, FORTE '92: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992. Amsterdam: North Holland. 1991. p. 331-346. (IFIP transactions C, Communication systems).

Bundle event structures: a non-interleaving semantics for LOTOS

Publication series

Conference

Access to Document

Research output

Modeling systems by probabilistic process algebra: an event structures approach

Bundle event structures: a non-interleaving semantics for LOTOS

Cite this