Electronic Notes in Theoretical Computer Science

207	--	208	Jos C. M. Baeten. Timed Process Algebras
209	--	226	Andrea Bobbio, András Horváth. Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis
227	--	245	Víctor A. Braberman, Alfredo Olivero. Extending Timed Automata for Compositional Modeling Healthy Timed Systems
246	--	274	Mario Bravetti, Alessandro Aldini. Non-determinism in Probabilistic Timed Systems with General Distributions
275	--	294	Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen. Towards a Process Algebra for Shared Processors
295	--	305	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini. Privacy in Real-Time Systems
306	--	322	Jitka Stríbrná, Insup Lee. Characterizing Non-Zenoness on Real-Time Processes
323	--	324	Flavio Corradini, Walter Vogler. Preface

139	--	163	Philippe Gaucher. Investigating The Algebraic Structure of Dihomotopy Types
164	--	186	Stefan Sokolowski. Categories of dimaps and their dihomotopies in po-spaces and local po-spaces
187	--	204	Peter McBurney, Simon Parsons. A Geometric Semantics for Dialogue Game Protocols for Autonomous Agent Interactions
205	--	0	Eric Goubault. Preface

1	--	20	Anne Labroue, Ph. Schnoebelen. An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems
21	--	31	Alan Martin. Adequate Sets of Temporal Connectives in CTL
32	--	45	Julian C. Bradfield, Sibylle B. Fröschle. On Logical and Concurrent Equivalences
46	--	65	Jan Strejcek. Rewrite Systems with Constraints
66	--	82	Roberto M. Amadio, Charles Meyssonnier. On the Decidability of Fragments of the Asynchronous pi-Calculus
83	--	100	K. V. S. Prasad. Broadcast Calculus Interpreted in CCS upto Bisimulation
101	--	119	Tom Chothia, Ian Stark. Encoding Distributed Areas and Local Communication into the pi-Calculus
120	--	136	Dina Q. Goldin, Scott A. Smolka, Peter Wegner. Turing Machines, Transition Systems, and Interaction
137	--	138	Luca Aceto, Prakash Panangaden. Preface

External Links