Petri nets, event structures and domains

Authors:

Nielsen, Mogens ;
Close
Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University
Plotkin, Gordon ;
Close
Department of Computer Science, Science and Technology, Aarhus University
Winskel, Glynn
Close
unknown

DOI:

10.1007/BFb0022474

ISBN:

9783540095118

Type:

Conference paper

Language:

English

Published in:

Lecture Notes in Computer Science: Proceedings of the International Symposium, Evian, France, July 2-4, 1979, 1979, p. 266-284

Main Research Area:

Science/technology

Publication Status:

Published

Series:

Lecture Notes in Computer Science

Review type:

Peer Review

Conference:

International Symposium on Semantics of Concurrent Computation, 1979

Publisher:

Springer

Submission year:

1979

Scientific Level:

Scientific

ID:

2185887633

Full text access

Example	Finds records
water{}	containing the word "water".
water supplies"{}"	containing the phrase "water supplies".
author:"Doe, John"author:"{}"	containing the prase "Doe, John" in the author field.
title:IEEEtitle:{}	containing the word "IEEE" in the title field.
Need more help?	Advanced search tutorial