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	Formal Description Techniques V
Subtitle of host publication	proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992
Editors	Michel Diaz, Roland Groz
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
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	France
City	Perros-Guirec
Period	13/10/92 → 16/10/92

Cite this

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

Langerak, Rom. / Bundle event structures : a non-interleaving semantics for LOTOS. Formal Description Techniques V: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992. editor / Michel Diaz ; Roland Groz. Amsterdam : North-Holland Publishing Company, 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 Publishing Company",

pages = "331--346",

editor = "Michel Diaz and Roland Groz",

booktitle = "Formal Description Techniques V",

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), Formal Description Techniques V: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992. IFIP transactions C, Communication systems, vol. 10, North-Holland Publishing Company, 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.

Bundle event structures : a non-interleaving semantics for LOTOS. / Langerak, Rom.

Formal Description Techniques V: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992. ed. / Michel Diaz; Roland Groz. Amsterdam : North-Holland Publishing Company, 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 - Formal Description Techniques V

A2 - Diaz, Michel

A2 - Groz, Roland

PB - North-Holland Publishing Company

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, Formal Description Techniques V: proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992. Amsterdam: North-Holland Publishing Company. 1991. p. 331-346. (IFIP transactions C, Communication systems).