Book Chapter
An efficient verification method for parallel and distributed programs
Preliminary version
Shmuel Katz and Doron Peled
Lecture Notes in Computer Science, 1989, Volume 354, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Pages 489-507
Book Chapter
Deciding global partial-order properties
Rajeev Alur, Ken McMillan and Doron Peled
Lecture Notes in Computer Science, 1998, Volume 1443, Automata, Languages and Programming, Pages 41-52
Book Chapter
Sometimes ‘some’ is as good as ‘all’
Doron Peled
Lecture Notes in Computer Science, 1992, Volume 630, CONCUR '92, Pages 192-206
Book Chapter
Interleaving set temporal logic
Shmuel Katz and Doron Peled
Lecture Notes in Computer Science, 1989, Volume 398, Temporal Logic in Specification, Pages 21-43
Journal Article
Deciding Global Partial-Order Properties
Rajeev Alur, Ken McMillan and Doron Peled
Formal Methods in System Design, 2005, Volume 26, Number 1, Pages 7-25
Book Chapter
Partial order semantics and read arcs
Walter Vogler
Lecture Notes in Computer Science, 1997, Volume 1295, Mathematical Foundations of Computer Science 1997, Pages 508-517
Book Chapter
Adding Invariants to Event Zone Automata
Peter Niebert and Hongyang Qu
Lecture Notes in Computer Science, 2006, Volume 4202, Formal Modeling and Analysis of Timed Systems, Pages 290-305
Book Chapter
Verification based on local states
Michaela Huhn, Peter Niebert and Frank Wallner
Lecture Notes in Computer Science, 1998, Volume 1384, Tools and Algorithms for the Construction and Analysis of Systems, Pages 36-51
Book Chapter
Timed testing of concurrent systems
Walter Vogler
Lecture Notes in Computer Science, 1993, Volume 700, Automata, Languages and Programming, Pages 532-543
Book Chapter
Equivalences and refinement
Rob J. van Glabbeek and Ursula Goltz
Lecture Notes in Computer Science, 1990, Volume 469, Semantics of Systems of Concurrent Processes, Pages 309-333