Journals in DBLP
Luca Aceto , Andrew D. Gordon Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Samson Abramsky What are the Fundamental Structures of Concurrency?: We still don't know! [Citation Graph (0, 0)][DBLP ] Journal ] Luca Aceto , Wan Fokkink The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. [Citation Graph (0, 0)][DBLP ] Journal ] Roberto M. Amadio , Gérard Boudol , Frédéric Boussinot , Ilaria Castellani Reactive Concurrent Programming Revisited. [Citation Graph (0, 0)][DBLP ] Journal ] Jos C. M. Baeten , Jan A. Bergstra Six Themes for Future Concurrency Research. [Citation Graph (0, 0)][DBLP ] Journal ] Jos C. M. Baeten , Mario Bravetti A Generic Process Algebra. [Citation Graph (0, 0)][DBLP ] Journal ] Christel Baier , Holger Hermanns , Joost-Pieter Katoen , Verena Wolf Bisimulation and Simulation Relations for Markov Chains. [Citation Graph (0, 0)][DBLP ] Journal ] Jan A. Bergstra On the Design Rationale of ACP Style Process Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Marco Bernardo Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. [Citation Graph (0, 0)][DBLP ] Journal ] Tommaso Bolognesi Process Algebra Under the Light of Wolfram's NKS. [Citation Graph (0, 0)][DBLP ] Journal ] Mario Bravetti , Holger Hermanns , Joost-Pieter Katoen YMCA: - Why Markov Chain Algebra? - . [Citation Graph (0, 0)][DBLP ] Journal ] Mario Bravetti Stochastic and Real Time in Process Algebra: A Conceptual Overview. [Citation Graph (0, 0)][DBLP ] Journal ] Mario Bravetti , Gianluigi Zavattaro Service Oriented Computing: A New Challenge for Process Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Stephen Brookes Retracing CSP. [Citation Graph (0, 0)][DBLP ] Journal ] Maria Grazia Buscemi , Ugo Montanari A Compositional Coalgebraic Model of a Fragment of Fusion Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Nadia Busi , Gianluigi Zavattaro A Process Algebraic View of Coordination. [Citation Graph (0, 0)][DBLP ] Journal ] Samuele Carpineti , Cosimo Laneve A Rude Contract Language for Web Services. [Citation Graph (0, 0)][DBLP ] Journal ] Pieter J. L. Cuijpers , Michel A. Reniers Topological Aspects of Hybrid Processes: A Proposed Treatment Using Non-standard Analysis. [Citation Graph (0, 0)][DBLP ] Journal ] Rocco De Nicola From Process Calculi to Klaim and Back. [Citation Graph (0, 0)][DBLP ] Journal ] Zoltán Ésik Cascade Products and Temporal Logics on Finite Trees. [Citation Graph (0, 0)][DBLP ] Journal ] Rachele Fuzzati , Uwe Nestmann Much Ado About Nothing? [Citation Graph (0, 0)][DBLP ] Journal ] Rob J. van Glabbeek On Specifying Timeouts. [Citation Graph (0, 0)][DBLP ] Journal ] Andrew D. Gordon V for Virtual. [Citation Graph (0, 0)][DBLP ] Journal ] Clemens Grabmayer , Jan Willem Klop , Bas Luttik Reflections on a Geometry of Processes. [Citation Graph (0, 0)][DBLP ] Journal ] Jan Friso Groote , Michel A. Reniers , Yaroslav S. Usenko Discretization of Timed Automata in Timed mu. [Citation Graph (0, 0)][DBLP ] Journal ] Radu Grosu , Scott A. Smolka Monte Carlo Methods for Process Algebra. [Citation Graph (0, 0)][DBLP ] Journal ] Tony Hoare Why ever CSP? [Citation Graph (0, 0)][DBLP ] Journal ] Kohei Honda Process Algebras in the Age of Ubiquitous Computing. [Citation Graph (0, 0)][DBLP ] Journal ] Insup Lee , Anna Philippou , Oleg Sokolsky A Family of Resource-Bound Real-Time Process Algebras. [Citation Graph (0, 0)][DBLP ] Journal ] Bas Luttik What is algebraic in process theory? [Citation Graph (0, 0)][DBLP ] Journal ] Sergio Maffeis Process Calculi and Peer-to-peer Web Data Integration. [Citation Graph (0, 0)][DBLP ] Journal ] C. A. Middelburg Conditionals in Algebraic Process Calculi. [Citation Graph (0, 0)][DBLP ] Journal ] Dale Miller A Proof Theoretic Approach to Operational Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] George J. Milne Modelling Dynamically Changing Hardware Structure. [Citation Graph (0, 0)][DBLP ] Journal ] Robin Milner Pervasive Process Calculus. [Citation Graph (0, 0)][DBLP ] Journal ] Michael W. Mislove On Combining Probability and Nondeterminism. [Citation Graph (0, 0)][DBLP ] Journal ] Mohammad Reza Mousavi Towards SOS Meta-Theory for Language-Based Security. [Citation Graph (0, 0)][DBLP ] Journal ] Joël Ouaknine , Steve Schneider Timed CSP: A Retrospective. [Citation Graph (0, 0)][DBLP ] Journal ] Catuscia Palamidessi Anonymity in Probabilistic and Nondeterministic Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Alban Ponse , Mark van der Zwaag A Generalization of ACP Using Belnap's Logic. [Citation Graph (0, 0)][DBLP ] Journal ] K. V. S. Prasad A Prospectus for Mobile Broadcasting Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Corrado Priami Process Calculi and Life Science. [Citation Graph (0, 0)][DBLP ] Journal ] A. W. Roscoe Confluence Thanks to Extensional Determinism. [Citation Graph (0, 0)][DBLP ] Journal ] Davide Sangiorgi Bisimulation and Co-induction: Some Problems. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Sewell Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics). [Citation Graph (0, 0)][DBLP ] Journal ] Chris M. N. Tofts Process Algebra as Modelling. [Citation Graph (0, 0)][DBLP ] Journal ] Kazunori Ueda Constraint-Based Concurrency and Beyond. [Citation Graph (0, 0)][DBLP ] Journal ] Nobuko Yoshida Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness. [Citation Graph (0, 0)][DBLP ] Journal ] 