Logics for Concurrency by Faron Moller
This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics;-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Modeling Decisions for Artificial Intelligence
-
Work, Life, and Society in a Sustainable, Intelligent Future
-
Computer Vision – ECCV 2026
-
Latent Variable Analysis and Signal Separation
-
Algorithms in Bioinformatics
-
Computer Security - ESORICS 2010
-
Computer Aided Verification
-
HCI in Work and Learning, Life and Leisure
-
Automata, Languages and Programming
-
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
-
Euro-Par 2026: Parallel Processing
-
Parallel Problem Solving from Nature – PPSN XIX
-
Blockchain – ICBC 2026
-
Electronic Participation
-
Software Engineering and Advanced Applications
-
Computer Safety, Reliability, and Security. SAFECOMP 2026 Workshops
-
Electronic Government
-
Document Analysis and Recognition – ICDAR 2026
-
Spatial Cognition XIV
-
Metaverse - METAVERSE 2026
| SKU | Unavailable |
| ISBN 13 | 9783540609155 |
| ISBN 10 | 3540609156 |
| Title | Logics for Concurrency |
| Author | Faron Moller |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1996-03-06 |
| Number of pages | 268 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |