"Distributed Monitoring of Concurrent and Asynchronous Systems"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Modeling and Asynchronous Distributed Simulation: Analyzing Complex Systems	Sumit Ghosh; Tony Lee	2000	Wiley-IEEE Press
Monitoring and debugging of distributed real-time systems /	Tsai, Jeffrey J.-P.; Yang, Steve J. H.	[1995], ©1995.	IEEE Computer Society Press,
Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems	Michel Raynal		Springer International Publishing
Concurrent systems: an integrated approach to operating systems, database and distributed systems	Jean Bacon; J. Bacon	1993	Addison-Wesley
Actors: A Model of Concurrent Computation in Distributed Systems	Gul Agha	1986	MIT Press
Actors: A Model of Concurrent Computation in Distributed Systems	Gul Agha	1986	MIT Press,
Principles of concurrent and distributed programming	M. Ben-Ari	1990	Prentice Hall
Advanced Mechatronics: Monitoring and Control of Spatially Distributed Systems	Dan Necsulescu	2008	World Scientific Publishing Company
Distributed real-time systems: monitoring, visualization, debugging, and analysis /	Tsai, Jeffrey J.-P.	[1996], ©1996.	John Wiley & Sons,
Concurrent and Distributed Computing in Java	Vijay K. Garg	2004	Wiley-IEEE Press
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems	Uwe Glässer	1993	Vieweg+Teubner Verlag
Principles of concurrent and distributed programming: algorithms and models	Ben-Ari M.	2006	Addison Wesley;Pearson Education Limited
Principles of Concurrent and Distributed Programming: Algorithms and Models	M. Ben-Ari	2006	Addison Wesley
Understanding Concurrent Systems	A.W. Roscoe	2010	Springer London
Specification and Verification of Concurrent Systems	Charles Rattray	1990	Springer London
Logics and Models of Concurrent Systems	Krzysztof R. Apt	1985	Springer Berlin Heidelberg
Specification and design of concurrent systems	Percy Mett	1994	McGraw-Hill Book Co.
Asynchronous Control for Networked Systems	María Guinaldo Losada; Francisco Rodríguez Rubio; Sebastián Dormido Bencomo	1st ed. 2015	Springer International Publishing
Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems	Filipe de Carvalho Moutinho; Luís Filipe Santos Gomes	1st ed. 2016	Springer International Publishing
Distributed Systems	Matthieu Perrin	2017	Elsevier
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
Distributed Monitoring of Concurrent and Asynchronous Systems	Albert Benveniste; Stefan Haar; Eric Fabre; Claude Jard	CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings	Roberto Amadio; Denis Lugiez	2003	Springer Berlin Heidelberg
On Distributed Monitoring of Asynchronous Systems	Volker Diekert; Anca Muscholl	Logic, Language, Information, and Computation	Luke Ong; Ruy de Queiroz	2nd ed. 2012	Springer Berlin Heidelberg
Concurrent and Distributed Systems	C. A. R. Hoare; Leslie Lamport	High-Integrity System Specification and Design	Jonathan P. Bowen; Michael G. Hinchey	1999	Springer London
Taming Distributed Asynchronous Systems	Anca Muscholl	CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010, Proceedings	Paul Gastin; Francois Laroussinie	2010	Springer Berlin Heidelberg
Timed Asynchronous Distributed Systems	Christof Fetzer	Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings	Carlos Alberto Maziero; João Gabriel Silva; Aline Maria Santos Andrade; Flávio Morais de Assis Silva	2005	Springer Berlin Heidelberg
Concurrent Implementation of Asynchronous Transition Systems	Walter Vogler	Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN' 99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings	Susanna Donatelli; Jetty Kleijn	1999	Springer Berlin Heidelberg
Concurrent Automata vs. Asynchronous Systems	Rémi Morin	Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings	Joanna Jedrzejowicz; Andrzej Szepietowski	2005	Springer Berlin Heidelberg
Monitoring distributed systems		Site Reliability Engineering: How Google Runs Production Systems	Betsy Beyer; Jones, Chris (Computer engineer); Jennifer Petoff; Niall Richard Murphy	2016	O'Reilly Media, Inc.
Model Checking of Distributed and Concurrent Systems	Ivan Cibrario Bertolotti; Tingting Hu	Embedded Software Development: The Open-Source Approach	Ivan Cibrario Bertolotti; Tingting Hu	2016	Routledge
Distributed Games and Distributed Control for Asynchronous Systems	Paul Gastin; Benjamin Lerman; Marc Zeitoun	LATIN 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings	Martin Farach-Colton	2004	Springer Berlin Heidelberg
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects	Einar Broch Johnsen; Marcel Kyas; Ingrid Chieh Yu	FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings	Ana Cavalcanti; Dennis R. Dams	2009	Springer Berlin Heidelberg
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objec		FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings	Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.)	2009	Springer-Verlag Berlin Heidelberg
Runtime Monitoring for Concurrent Systems	Yoriyuki Yamagata; Cyrille Artho; Masami Hagiya; Jun Inoue; Lei Ma; Yoshinori Tanabe et al.	Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings	Yliès Falcone; César Sánchez	1st ed. 2016	Springer International Publishing
Asynchronous Monitoring of Events for Distributed Cooperative Environments	S. Chakravarthy and H. Liao	The proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications: CODAS 2001; Beijing, China, April 23-24, 2001 /	Lu, Hongjun,	2000.	IEEE Computer Society,
Asynchronous Distributed Monitoring for Multiparty Session Enforcement	Tzu-Chun Chen; Laura Bocchi; Pierre-Malo Deniélou; Kohei Honda; Nobuko Yoshida	Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers	Roberto Bruni; Vladimiro Sassone	2012	Springer Berlin Heidelberg
Logical Time in Asynchronous Distributed Systems	Michel Raynal	Distributed Algorithms for Message-Passing Systems	Michel Raynal	2013	Springer Berlin Heidelberg
Monitoring and management-support of distributed systems	Dieter Haban; Dieter Wybranietz; Amnon Barak	Progress in Distributed Operating Systems and Distributed Systems Management: European Workshop, Berlin, FRG, April 18/19, 1989, Proceedings	Wolfgang Schröder-Preikschat; Wolfgang Zimmer	1990	Springer Berlin Heidelberg
Reactive, Asynchronous, and Concurrent Programming	Don Syme; Adam Granicz; Antonio Cisternino	Expert F#	Antonio Cisternino; Adam Granicz; Don Syme	1st ed.	Apress
Concurrent and distributed programs		Programming Erlang software for a concurrent world	Armstrong, Joe	2014	Pragmatic Programmers
Concurrent and Distributed Programming		The Engineering Handbook on CD-ROM	Richard C. Dorf	1997	CRC
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Distributed Monitoring of Concurrent and Asynchronous Systems" - similar Books and Chapters