Specifying message passing and time-critical systems with temporal logic

Specifying message passing and time-critical systems with temporal logic

Saved in:

Bibliographic Details
Main Author:	Koyman, R. (Rond1959-
Format:	Unknown
Published:	Berlin New York Springer-Verlag 1992
Series:	Lecture notes in computer science 651
Subjects:	Logic, Symbolic and mathematical Data transmission systems
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Temporal logic in specification. Proceedings of the ...
Published: (1989)

An introduction to practical formal methods using temporal logic
by: Fisher, Michael 1962-
Published: (2011)

Logic
by: Tomassi, Paul
Published: (1999)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

Symbolic logic
by: Copi, Irving M
Published: (1968)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004)

Symbolic logic
by: Thomas, James A
Published: (1977)

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Language, logic, and mathematics
by: Kilmister, C. W. Clive William
Published: (1967)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2006)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

What is mathematical logic?
Published: (1972)

An introduction to mathematical logic
by: Hodel, Richard E
Published: (1995)

Understanding symbolic logic
by: Klenk, Virginia 1940-
Published: (1989)

Handbook of mathematical logic
Published: (1978)

Waht is mathematical logic?
Published: (1972)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Elements of symbolic logic
by: Reichenbach, Hans 1891-1953
Published: (1947)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

A mathematical introduction to logic
by: Enderton, Herbert B
Published: (2001)

Perspectives on the history of mathematical logic
Published: (1991)

Logic design theory
by: Biswas, Nripendra Nath 1928-
Published: (1993)

Modern formal logic
by: McKay, Thomas J.
Published: (1989)

Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1973)

Mathematical logic in the 20th century
Published: (2003)

A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000)

Math logic puzzles
by: Smith, Kurt
Published: (1996)

Perspectives on the History of Mathematical Logic
Published: (2008)

Mathematical logic for computer science
by: Lu, Chung-wan
Published: (1989)

Logic Colloquium '77 proceedings of the ... held August 1977
Published: (1978)

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Published: (2004)

Introduction to mathematical logic and resolution principle
by: Wang, Guo-Jun
Published: (2009)

Logic with symlog learning symbolic logic by computer
by: Portoraro, Frederic D
Published: (1994)

Logical labyrinths
by: Smullyan, Raymond M.
Published: (2009)

Language in action categories, lambdas and dynamic logic
by: Van Benthem, Johan
Published: (1991)

Cannot write session to /tmp/vufind_sessions/sess_d8bo3mdpc4s3fbbpvf3f9cmn03