Bibliographie

Mark-Oliver Stehr

Coéditeur

2003

Mark-Oliver Stehr.
Rewriting semantics for algebraic nets.
In Girault and Valk (éd.), Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 16.1, pages 318-338.

Mark-Oliver Stehr.
Assertional reasoning.
In Girault and Valk (éd.), Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, section 16.2, pages 338-361.

2002

Mark-Oliver Stehr.
Programming, Specification, and Interactive Theorem Proving -- Towards a Unified Language based on Equational Logic, Rewriting Logic, and Type Theory.
PhD thesis, Universität Hamburg, Fachbereich Informatik, 2002.

Mark-Oliver Stehr and C. L. Talcott.
PLAN in Maude: Specifying an active network programming language.
In F. Gadducci and U. Montanari, editors, The 4th International Workshop on Rewriting Logic and its Applications, Pisa, Italy, September 19-21, 2002, Proceedings, volume 71 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002.
urlhttp://www.elsevier.nl/locate/entcs/volume71.html.

2001

P. Naumov, Mark-Oliver Stehr, and J. Meseguer.
The HOL/NuPRL proof translator -- A practical approach to formal interoperability.
In Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs'2001, Edinburgh, Scotland, UK , September 3-6, 2001, Proceedings, Lecture Notes in Computer Science, pages 329 - 345. Springer-Verlag, 2001.

Mark-Oliver Stehr, J. Meseguer, and P. C. Ölveczky.
Representation and execution of Petri nets using rewriting logic as a uniform framework.
In H. Ehrig, C. Ermel, and J. Padberg, editors, UNIGRA'2001, Uniform Approaches to Graphical Process Specification Techniques, Genova, Italy, March 31st and April 1st, 2001, Proceedings, volume 44 of Electronic Notes in Theoretical Computer Science, 2001.

2000

Mark-Oliver Stehr.
CINNI - a generic calculus of explicit substitutions and its application to lambda-, sigma- and pi-calculi.
In K. Futatsugi, editor, The 3rd International Workshop on Rewriting Logic and its Applications Kanazawa City Cultural Hall, Kanzawa Japan, September 18-20, 2000, Proceedings, volume 36 of Electronic Notes in Theoretical Computer Science, pages 71 - 92. Elsevier, 2000.
urlhttp://www.elsevier.nl/locate/entcs/volume36.html. Extended version at urlhttp://www.csl.sri.com/ stehr.

1999

Mark-Oliver Stehr and J. Meseguer.
Pure type systems in rewriting logic.
In LFM'99: Workshop on Logical Frameworks and Meta-languages, Paris, France, September 28, 1999, Proceedings, 1999.
urlhttp://plan9.bell-labs.com/who/felty/LFM99/.

Mark-Oliver Stehr.
Characterizing security in synchronization graphs.
In O. Herzog, W. Reisig, and Rüdiger Valk, editors, Petri Net Newsletters, number 56 in Petri Net Newsletters, pages 17-26, April 1999.

1998

Mark-Oliver Stehr.
Assertional reasoning and temporal logic for system verification, 1998.
Lecture at the MATCH Advanced Summer School on System Engineering, September 14-22, Jaca, Spain. urlhttp://www.cps.unizar.es/deps/DIIS/MATCH.

Mark-Oliver Stehr.
System Specification by Cyclic Causality Constraints.
Bericht FBI-HH-B-210/98, Fachbereich Informatik, Universität Hamburg, 1998.

1996

Mark-Oliver Stehr.
Zyklische Ordnungen Axiome und einfache Eigenschaften.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, 1996.

1993

Mark-Oliver Stehr.
Physically motivated axiomatic concurrency theory - a posetless approach.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, 1993.

Coéditeur de

1997

Berndt Farwer, Daniel Moldt, and Mark-Oliver Stehr, editors.
Proceedings of the Workshop on Petri Nets in System Engineering (PNSE'97), Hamburg, September 25-26, 1997, number FBI-HH-B-205/97 in Bericht des Fachbereichs Informatik. Universität Hamburg, Fachbereich Informatik, September 1997.