The Temporal

References

• The Temporal Logic of Reactive and Concurrent SystemsZohar Manna, Amir Pnueli — 1991
• Mathematical logic and Hilbert's ε-symbolAlbert Leisenring — 1971
• Real-Time: Theory in PracticeJ. W. de Bakker, Huizing, C., Roever, de, W.P. — 1991
• The Temporal Semantics of Concurrent ProgramsAmir Pnueli — 1979
• Specifying Concurrent Objects as Communicating ProcessesJayadev Misra — 1990
• Formal verification of parallel programsRobert Keller — 1976
• Protocol Verification via ProjectionsSimon S. Lam, A. Udaya Shankar — 1984
• Reduction: a method of proving properties of parallel programsRichard J. Lipton — 1975
• Specifying Concurrent Program ModulesLeslie Lamport — 1983
• A Discipline of ProgrammingEdsger W. Dijkstra — 1976
• Temporal Logic of ProgramsFred Krögr — 1987
• Axiomatic Proof Techniques for Parallel ProgramsSusan Owicki — 1975
• An axiomatic basis for computer programmingC. A. R. Hoare — 1969
• Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point LinksMichael Schroeder, Andrew Birrell, Michael T. Burrows — 1991
• Consistent and complete proof rules for the total correctness of parallel programsLawrence Flon, Norihisa Suzuki — 1978
• The existence of refinement mappingsMartı́n Abadi, Leslie Lamport — 1988
• Conjoining specificationsMartı́n Abadi, Leslie Lamport — 1995
• Time-Dependent Communication ProtocolsA. Udaya Shankar, Simon S. Lam — 1984
• Defining LivenessBowen Alpern, Fred B. Schneider — 1984
• The structureBill Welch — 1992

Cited by

• Formal object oriented requirements: simulation, validation and verificationJ. Paul Gibson — 1999
• Formal user models and methods for reasoning about interactive behaviourRichard Butterworth, Ann Blandford, David Duke — 2007
• Weakest Congruences, Fairness and Compositional Process-Algebraic VerificationAntti Puhakka — 2004
• Observation and Abstract Behaviour in Specification and Implementation of State-based SystemsClaus Pahl — 2001
• An open framework for certified system softwareZhong Shao, Xinyu Feng — 2008
• A spanning tree object-oriented distributed algorithm: specification and proofLuc Bonnet, Laurence Duchien, Gérard Florin — 1996
• Diagram Refinements for the Design of Reactive SystemsDominique Cansell, Dominique Mery, Stephan Merz — 2001
• A Temporal Reasoning Approach of Communication Based Workflow ModellingJosé Luís, Antonio Jesús Guevara Plaza, Sergio Gálvez — 2003
• Feature Requirements Models: Understanding InteractionsJohn P. Gibson — 1997
• Refinement in State-Based FormalismsLeslie Lamport — 2016
• Mechanically verifying concurrent programsDavid M. Goldschlag — 1992
• Closure under stuttering in temporal formulasDimitrie O. Păun — 1999
• Formal Behavioural Patterns for the Tool-assisted Design of Distributed ApplicationsArnulf Mester, Heiko Krumm — 1997
• Fiabilité et sûreté des systèmes informatiques critiquesN. Singh — 2011
• Distributed system design with message sequence chartsIngolf H. Krüger — 2000
• Feature Interactions: A Mixed Semantic Model ApproachJ. Paul Gibson, Bruno Mermet, Dominique Méry — 1997
• HCSP : Imperative State and True ConcurrencyAdrian E. Lawrence — 2002
• Rigorous design of distributed transactionsDivakar Yadav — 2008
• PZ nets a formal method integrating Petri nets with ZXudong He — 1995
• Feature specification and automated conflict detectionAmy Felty, Kedar S. Namjoshi — 2003

Related papers

No related papers recorded.