Aarhus University Seal / Aarhus Universitets segl

Danish

You are here: AU » About Aarhus University » Organisation » Niels Damgaard Hansen » Research outputs » Formal Semantics by a Combination of Denotational Semanti...

About Aarhus University

Niels Damgaard Hansen

Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • The Faculty Secretariat, Faculty of Science
  • Department of Information and Media Studies
Original languageEnglish
Title of host publicationApplications and Theory of Petri Nets
EditorsA. Pagnoni, G. Rosenberg
Number of pages17
Place of publicationBerlin
PublisherSpringer
Publication year1983
Pages132-148
ISBN (print)0387123091, 3540123091
Publication statusPublished - 1983
EventThe European Workshop on Applications and Theory of Petri Nets - Varenna, Italy
Duration: 27 Sep 1982 → 30 Sep 1982
Conference number: 3

Conference

ConferenceThe European Workshop on Applications and Theory of Petri Nets
Nummer3
LandItaly
ByVarenna
Periode27/09/1982 → 30/09/1982

See relations at Aarhus University Citationformats

ID: 1058353