"Verifying Concurrent Processes Using Temporal Logic"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Verifying Concurrent Processes Using Temporal Logic	B. T. Hailpern	1982	Springer Berlin Heidelberg
The Temporal Logic of Reactive and Concurrent Systems: Specification	Zohar Manna; Amir Pnueli	1992	Springer New York
Verifying Temporal Properties of Systems	J.C. Bradfield	1992	Birkhäuser Boston
Temporal Logic	Nicholas Rescher; Alasdair Urquhart	1971	Springer Vienna
An Introduction to Practical Formal Methods Using Temporal Logic	Michael Fisher	2011	John Wiley & Sons
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
Temporal Modalities in Arabic Logic	N. Rescher	1967	Springer Netherlands
Temporal Logic and State Systems	Fred Kröger; Stephan Merz	2008	Springer Berlin Heidelberg
Temporal modalities in Arabic logic.	Rescher, Nicholas.	1967	D. Reidel
Temporal processes in Beethoven's music	David B. Greene	1982	Gordon and Breach
Non-logic Devices in Logic Processes	Yanjun Ma; Edwin Kan	1st ed. 2017	Springer International Publishing
Modal and Temporal Properties of Processes	Colin Stirling	2001	Springer New York
Understanding Control Flow: Concurrent Programming Using μC++	Peter A. Buhr	1st ed. 2016	Springer International Publishing
Conclog: A Methodological Approach to Concurrent Logic Programming	Jean-Marie Jacquet	1991	Springer Berlin Heidelberg
Using Logic Pro's Synthesizers	Anker, Kevin	2014	Course Technology;Cengage Learning
Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects	Alfried Pollmann	1997	De Gruyter
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
Verifying Arbitrary Temporal Logic Properties	Fred B. Schneider	On Concurrent Programming	Fred B. Schneider	1997	Springer New York
Verifying temporal properties of processes	Julian Bradfield; Colin Stirling	CONCUR ' 90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension	Joseph C.M. Baeten; Jan W. Klop	1990	Springer Berlin Heidelberg
Verifying Concurrent Protocols Using Refinements	Sandip Ray	Scalable Techniques for Formal Verification	Sandip Ray	2010	Springer US
Verifying Concurrent Protocols Using Refinemen		Scalable Techniques for Formal Verification	Sandip Ray (auth.)	2010	Springer US
Mendels: Concurrent program synthesis system using temporal logic	Naoshi Uchihira; Kazunori Matsumoto; Shinichi Honiden; Hideo Nakamura	Logic Programming ' 87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987	Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki	1988	Springer Berlin Heidelberg
On Composing Concurrent Logic Processes		Logic Programming: The 12th International Conference	Leon S. Sterling	1995	MIT,
On Composing Concurrent Logic Processes		Logic Programming: The 12th International Conference	Leon S. Sterling	1995	MIT Press
A concurrent branching time temporal logic	Wojciech Penczek	CSL ' 89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings	Egon Börger; Hans Kleine Büning; Michael M. Richter	1990	Springer Berlin Heidelberg
Specifying & verifying concurrent systems using Z	Andy S. Evans	FME ' 94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings	Maurice Naftalin; Tim Denvir; Miquel Bertran	1994	Springer Berlin Heidelberg
1772 Using Temporal Logic		Artificial Intelligence Illuminated (Jones and Bartlett Illuminated Series)	Ben Coppin	2004	Jones and Bartlett Publishers, Inc.
Temporal logic and causality in concurrent systems	Wolfgang Reisig	Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings	Friedrich H. Vogt	1988	Springer Berlin Heidelberg
Verifying Concurrent Data Structures Using Data-Expansion	Tong Che	Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers	Ahmed Bouajjani; Hugues Fauconnier	1st ed. 2015	Springer International Publishing
Verifying Temporal Properties	Colin Stirling	Modal and Temporal Properties of Processes	Colin Stirling	2001	Springer New York
Verifying Concurrent Graph Algorithms	Azalea Raad; Aquinas Hobor; Jules Villard; Philippa Gardner	Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings	Atsushi Igarashi	1st ed. 2016	Springer International Publishing
Verifying Concurrent Library Code		Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice. . . Computer Science and General Issues)	Andrew Gordon	2010	Springer
Verifying Transactional Requirements of Web Service Compositions Using Temporal Logic Templates	Scott Bourne; Claudia Szabo; Quan Z. Sheng	Web Information Systems Engineering -- WISE 2013: 14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I	Xuemin Lin; Yannis Manolopoulos; Divesh Srivastava; Guangyan Huang	2013	Springer Berlin Heidelberg
Specifying properties of Basic LOTOS processes using temporal logic	Carron Kirkwood	Formal Description Techniques VIII	Gregor von Bochmann; Rachida Dssouli; Omar Rafiq	1st ed. 1996	Springer US
Concurrent Processes	A. M. Lister; R. D. Eager	Fundamentals of Operating Systems	A. LISTER	1993	Springer New York
Concurrent Processes	Donald E. Thomas; Philip R. Moorby	The Verilog® Hardware Description Language	Donald E. Thomas; Philip R. Moorby	3rd ed. 1996	Springer US
Concurrent Processes	Donald E. Thomas; Philip R. Moorby	The Verilog® Hardware Description Language	Donald E. Thomas; Philip R. Moorby	2nd ed. 1995	Springer US
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Verifying Concurrent Processes Using Temporal Logic" - similar Books and Chapters