Logics and models of concurrent systems

...
Author:  Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
20 downloads 490 Views 5MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

Chris Heunen (1982) studied mathematics and computer science at the Radboud University Nijmegen. In 2005 he started his ...
Coloured Petri Nets Kurt Jensen · Lars M. Kristensen Coloured Petri Nets Modelling and Validation of Concurrent Syst...
Integrated Models of Cognitive Systems SERIES ON COGNITIVE MODELS AND ARCHITECTURES Series Editor: Frank Ritter Serie...
Dynamic Models and Control of Biological Systems Vadrevu Sree Hari Rao Ponnada Raja Sekhara Rao Dynamic Models and Co...
Linköping Studies in Science and Technology. Dissertations. No. 985 Linear Models of Nonlinear Systems Martin Enqvist ...
COMMUNICATING PROCESS ARCHITECTURES 2006 Concurrent Systems Engineering Series Series Editors: M.R. Jane, J. Hulskamp...