"Specifying Message Passing and Time-Critical Systems with Temporal Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Specifying Message Passing and Time-Critical Systems with Temporal Logic	Ron Koymans	1992	Springer Berlin Heidelberg
Temporal Logic and State Systems	Fred Kröger; Stephan Merz	2008	Springer Berlin Heidelberg
Distributed Algorithms for Message-Passing Systems	Michel Raynal	2013	Springer Berlin Heidelberg
Temporal Logic	Nicholas Rescher; Alasdair Urquhart	1971	Springer Vienna
The Temporal Logic of Reactive and Concurrent Systems: Specification	Zohar Manna; Amir Pnueli	1992	Springer New York
Fault-tolerant Agreement in Synchronous Message-passing Systems	Michel Raynal		Springer International Publishing
Fault-Tolerant Message-Passing Distributed Systems: An Algorithmic Approach	Michel Raynal	1st ed. 2018	Springer International Publishing
Temporal Logic of Programs	Fred Kröger	1987	Springer Berlin Heidelberg
Advances in Temporal Logic	Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough	2000	Springer Netherlands
Executing Temporal Logic Programs	Ben C. Moszkowski	1986	Cambridge University Press
A really temporal logic	Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department	2007	Dept. of Computer Science Stanford University
Using temporal logic and Datalog to query databases evolving in time.	Alexander Tuzhilin	1989	Courant Institute of Mathematical Sciences, New York University
Passing time	Christine L'Heureux	1988	Éditions Chouette
The Passing of Temporal Well-Being	Ben Bramble	2018	Routledge
Temporal data,temporal data models,temporal data languages and temporal database systems	Donald Dokeung Hom	1988
Safety-Critical Real-Time Systems	Bernd Krämer; Norbert Völker	1997	Springer US
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	2nd ed. 1983	Springer Netherlands
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan van Benthem	1991	Springer
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse	Johan Benthem	2nd ed. 1991	Springer Netherlands
Time and its passing /	Allwood, Ralph,; Barley, Max,
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Specifying message passing systems requires extending temporal logic	Ron Koymans	Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings	Behnam Banieqbal; Howard Barringer; Amir Pnueli	1989	Springer Berlin Heidelberg
Specifying communicating systems with temporal logic	Zhou Chaochen	Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings	Behnam Banieqbal; Howard Barringer; Amir Pnueli	1989	Springer Berlin Heidelberg
Modelling, Specifying, and Verifying Message Passing Systems	B. Bollig and M. Leucker.	TIME 2001: Eighth International Symposium on Temporal Representation and Reasoning: proceedings: 14-16 June, 2001, Cividale del Friuli, Italy /	IEEE Computer Society	[2001], ©2001.	IEEE Computer Society Press,
Message passing systems		Specifying Message Passing and Time-Critical Systems with Temporal Logic	Ron Koymans	1992	Springer Berlin Heidelberg
Propositional Dynamic Logic for Message-Passing Systems	Benedikt Bollig; Dietrich Kuske; Ingmar Meinecke	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings	V. Arvind; Sanjiva Prasad	2007	Springer Berlin Heidelberg
Modelling Real-Time Systems with Continuous-Time Temporal Logic	Guangyuan Li; Zhisong Tang	Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings	Chris George; Huaikou Miao	2002	Springer Berlin Heidelberg
A temporal-logic based compositional proof system for real-time message passing	Jozef Hooman; Jennifer Widom	PARLE ' 89 - Parallel Architectures and Languages Europe: Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings	Eddy Odijk; Martin Rem; Jean-Claude Syre	1989	Springer Berlin Heidelberg
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems	Roy Mennicke	CONCUR 2012- Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings	Maciej Koutny; Irek Ulidowski	2012	Springer Berlin Heidelberg
Message-Passing Software Systems		42. Parallel and Distributed Systems	John G. Webster (Editor)	1999	Wiley
522 Message-passing systems		Parallel Computer Organization and Design	Michel Dubois, Murali Annavaram, Per Stenström	2012	Cambridge University Press
Time Constraints with Temporal Logic Programming	Meng Han; Zhenhua Duan; Xiaobing Wang	Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings	Toshiaki Aoki; Kenji Taguchi	2012	Springer Berlin Heidelberg
Reconciling real-time with asynchronous message passing	M. Broy; R. Grosu; C. Klein	FME ' 97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings	John Fitzgerald; Cliff B. Jones; Peter Lucas	1997	Springer Berlin Heidelberg
Branching time temporal logic	E. Allen Emerson; Jai Srinivasan	Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988	Jacobus W. de Bakker; Willem-Paul de Roever; Grzegorz Rozenberg	1989	Springer Berlin Heidelberg
Alternating-time Temporal Logic	Rajeev Alur; Thomas A. Henzinger; Orna Kupferman	Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures	Willem-Paul de Roever; Hans Langmaack; Amir Pnueli	1998	Springer Berlin Heidelberg
E3 Temporal Logic Systems		Computer Security: Art And Science	Matt Bishop, Elisabeth Sullivan, Michelle Ruppel	2019	Addison-Wesley/Pearson Education
Stabilization Time in Message Passing		Introduction to distributed self-stabilizing algorithms	Altisen K	2019; 2016	Morgan & Claypool Publish
Part 2: Message-passing systems		Parallel Algorithms for Numerical Linear Algebra	Van der Vorst, H.; Van Dooren, P	2015	Elsevier Science
53 MESSAGE-PASSING MULTIPROCESSOR SYSTEMS		Parallel Computer Organization and Design	Michel Dubois, Murali Annavaram, Per Stenström	2012	Cambridge University Press
Message Passing		Encyclopedia of Parallel Computing	David Padua	2011	Springer US
Message Passing	H. Stephen Morse	Practical Parallel Computing	H. Stephen Morse	1994	Academic Press
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Specifying Message Passing and Time-Critical Systems with Temporal Logic" - similar Books and Chapters