Search results for: Hanna Klaudel
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 190-200
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > A Concurrent Semantics of Static Exceptions in a Parallel Programming Language > 204-223
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 309-325
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 208-227
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Concurrency > 138-152
Lecture Notes in Computer Science > Application and Theory of Petri Nets 1998 > Full Papers > 306-325
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 192-207
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 362-365
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 297-311
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 208-227