Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held As Part of the Joint European Conferences on Theory and Practice of Sof... von Nielsen, Mogens, Engberg, Uffe

Volltext

Foundations of software science and computation structures: 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Sof... von Nielsen, Mogens, Engberg, Uffe

Volltext

Completeness results for linear logic on Petri nets von Engberg, Uffe, Winskel, Glynn

Volltext

ENGBERG, Jakob / UFFE HOLMSGAARD, Eriksen / ANDRES KLOSTERGAARD PETERSEN, Anders (eds.). 1 Contextualising Early Christian Martyrdom Peter Lang, Berna, 2011, 275 págs von David M. Rodríguez Chaves

Volltext

Engberg, Jakob / Uffe Holmsgaard, Eriksen /Andres Klostergaard Petersen. Contextualising Early Christian Martyrdom. Peter Lang, Berna, 2011, 275 págs. ISBN 978-3-631-59513-8 von Rodríguez Chaves, David M

Volltext

Linear logic on Petri nets von Engberg, Uffe, Winskel, Glynn

Volltext

Failures semantics for a simple process language with refinement von Aceto, Luca, Engberg, Uffe

Volltext

True concurrency can be traced von Engberg, Uffe

Volltext

Completeness Results for Linear Logic on Petri Nets von Engberg, Uffe, Winskel, Glynn

Volltext

Partial orders and fully abstract models for concurrency von Engberg, Uffe

Volltext

Linear Logic on Petri Nets von Engberg, Uffe H., Winskel, Glynn

Volltext

Contextualising early Christian martyrdom. Edited by Jakob Engberg, Uffe Holmsgaard Eriksen and Anders Klostergaard Petersen. (Early Christianity in the Context of Antiquity, 8.) Pp. 276. Frankfurt-am-Main: Peter Lang, 2011. £44.40. 978 3 631 59513 8; 1862 197X von Paget, James Carleton

Volltext

Efficient simplification of bisimulation formulas von Engberg, Uffe H., Larsen, Kim S.

Volltext

Petri Nets as Models of Linear Logic von Engberg, Uffe, Winskel, Glynn

Volltext

Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24) von Engberg, Uffe, Nielsen, Mogens, Winskel, Glynn

Volltext

A Calculus of Communicating Systems with Label Passing von Engberg, Uffe, Nielsen, Mogens

Volltext

Completeness results for linear logic on Petri nets: Extended abstract von Engberg, Uffe, Winskel, Glynn

Volltext

Petri nets as models of linear logic von Engberg, Uffe, Winskel, Glynn

Volltext

Fully abstract models for a process language with refinement von Nielsen, Mogens, Engberg, Uffe, Larsen, Kim S.

Volltext

Contextualising early Christian martyrdom von Paget, James Carleton, Engberg, Eriksen, Petersen, Jakob, Uffe Holmsgaard, Anders Klostergaard

Volltext