A formal semantics of synchronous interworkings

S. Mauw; M. Wijk, van; T. Winter

A formal semantics of synchronous interworkings

S. Mauw, M. Wijk, van, T. Winter

Mathematics and Computer Science

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

Original language	English
Title of host publication	SDL'93 : Using Objects (Proceedings 6th SDL Forum, Darmstadt, Germany, October 11-15, 1993)
Editors	O. Faergemand, A.D. Sarma
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	167-178
ISBN (Print)	0-444-81486-8
Publication status	Published - 1993

Cite this

@inproceedings{743a5873e8fa4640a0e1ba24e130fcef,

title = "A formal semantics of synchronous interworkings",

author = "S. Mauw and {Wijk, van}, M. and T. Winter",

year = "1993",

language = "English",

isbn = "0-444-81486-8",

pages = "167--178",

editor = "O. Faergemand and A.D. Sarma",

booktitle = "SDL'93 : Using Objects (Proceedings 6th SDL Forum, Darmstadt, Germany, October 11-15, 1993)",

publisher = "North-Holland Publishing Company",

address = "Netherlands",

}

A formal semantics of synchronous interworkings. / Mauw, S.; Wijk, van, M.; Winter, T.
SDL'93 : Using Objects (Proceedings 6th SDL Forum, Darmstadt, Germany, October 11-15, 1993). ed. / O. Faergemand; A.D. Sarma. Amsterdam: North-Holland Publishing Company, 1993. p. 167-178.

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

TY - GEN

T1 - A formal semantics of synchronous interworkings

AU - Mauw, S.

AU - Wijk, van, M.

AU - Winter, T.

PY - 1993

Y1 - 1993

M3 - Conference contribution

SN - 0-444-81486-8

SP - 167

EP - 178

BT - SDL'93 : Using Objects (Proceedings 6th SDL Forum, Darmstadt, Germany, October 11-15, 1993)

A2 - Faergemand, O.

A2 - Sarma, A.D.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -