Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation edited by R.J. De Queiroz.

The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- c...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	De Queiroz, R.J (Editor)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 2003.
Edition:	1st ed. 2003.
Series:	Trends in Logic, Studia Logica Library, 18 Springer eBook Collection.
Subjects:	Mathematical logic. Architecture, Computer. Computers. Logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Logics for Concurrency Structure versus Automata
Published: (1996)

Logics of Programs Brooklyn, June 17-19, 1985
Published: (1985)

Logic of Computation
Published: (1997)

Logic for Applications
by: Nerode, Anil, et al.
Published: (1997)

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Published: (2015)

Logic and Complexity
by: Lassaigne, Richard, et al.
Published: (2004)

Verification of Sequential and Concurrent Programs
by: Apt, Krzysztof R., et al.
Published: (1997)

The Analysis of Concurrent Systems Cambridge, September 12-16, 1983. Proceedings
Published: (1985)

Computational Logic
Published: (1999)

Logic, Language and Computation Festschrift in Honor of Satoru Takasu
Published: (1994)

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Published: (1997)

Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
Published: (1997)

Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Published: (1998)

Specifying Message Passing and Time-Critical Systems with Temporal Logic
by: Koymans, Ron
Published: (1992)

Verification of Sequential and Concurrent Programs
by: Apt, Krzysztof R., et al.
Published: (1991)

Verification of Sequential and Concurrent Programs
by: Apt, Krzysztof R., et al.
Published: (2009)

Temporal Logic First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Published: (1994)

Reasoning with Logic Programming
by: Alferes, Jose Julio, et al.
Published: (1996)

Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Published: (1999)

Algebraic and Logic Programming 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Published: (1996)

Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Published: (2000)

Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Published: (1997)

Computer Science Logic 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
Published: (1996)

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Published: (2005)

Logics in AI European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
Published: (1991)

Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Published: (2004)

Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings
Published: (2000)

CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
Published: (1999)

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Published: (2008)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
Published: (2006)

Logic of Domains
by: Zhang, G.
Published: (1991)

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Published: (2002)

Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
Published: (2001)

Temporal Logic of Reactive and Concurrent Systems : Specification.
by: Manna, Zohar
Published: (1992)

Lectures on Concurrency and Petri Nets Advances in Petri Nets
Published: (2004)

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Published: (2008)

Verifying Concurrent Processes Using Temporal Logic
by: Hailpern, B. T.
Published: (1982)

Logical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
Published: (1997)

Logical Aspects of Computational Linguistics Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
Published: (1999)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Published: (2018)