Search results for "Process Calculi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt	On the Expressiveness and Decidability of Higher-Order Process Calculi.	LICS	2008	DBLP DOI BibTeX RDF	behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
3	Michele Boreale	Quantifying Information Leakage in Process Calculi.	ICALP	2006	DBLP DOI BibTeX RDF	information theory, process calculi, secrecy, information leakage
3	Alan Schmitt, Jean-Bernard Stefani	The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF	higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
2	Andrew Phillips, Matthew R. Lakin, Loïc Paulevé	Stochastic Simulation of Process Calculi for Biology	MeCBIC	2010	DBLP DOI BibTeX RDF
2	Hubert Garavel, Damien Thivolle	Verification of GALS Systems by Combining Synchronous Languages and Process Calculi.	SPIN	2009	DBLP DOI BibTeX RDF
2	Xian Xu	On Bisimulation Theory in Linear Higher-Order pi-Calculus.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order
2	Daniele Gorla	Towards a Unified Approach to Encodability and Separation Results for Process Calculi.	CONCUR	2008	DBLP DOI BibTeX RDF
2	Uwe Nestmann	Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia	On Recursion, Replication and Scope Mechanisms in Process Calculi.	FMCO	2006	DBLP DOI BibTeX RDF
2	Marcelo P. Fiore, Sam Staton	A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.	LICS	2006	DBLP DOI BibTeX RDF
2	Iain C. C. Phillips, Irek Ulidowski	Reversing Algebraic Process Calculi.	FoSSaCS	2006	DBLP DOI BibTeX RDF
2	Davide Prandi	A Formal Approach to Molecular Docking.	CMSB	2006	DBLP DOI BibTeX RDF	Formal Methods, Systems Biology, Process Calculi, Molecular Docking, Drug Discovery
2	Andrew D. Gordon	From Typed Process Calculi to Source-Based Security.	SAS	2005	DBLP DOI BibTeX RDF
2	Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld	Bridging Language-Based and Process Calculi Security.	FoSSaCS	2005	DBLP DOI BibTeX RDF
2	Henning Makholm, J. B. Wells	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.	ESOP	2005	DBLP DOI BibTeX RDF
2	Fabio Gadducci, Ugo Montanari	Graph Processes with Fusions: Concurrency by Colimits, Again.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF	dpo rewriting, concurrent semantics, process calculi
2	Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero	End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.	FM	2005	DBLP DOI BibTeX RDF	UML, performance analysis, security analysis, process calculi
2	Zining Cao	A Uniform Reduction Equivalence for Process Calculi.	APLAS	2004	DBLP DOI BibTeX RDF
2	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia	On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
2	Fabio Gadducci	Term Graph Rewriting for the pi-Calculus.	APLAS	2003	DBLP DOI BibTeX RDF	process calculi, reduction semantics, Term graph rewriting
2	Michele Boreale, Fabio Gadducci	Denotational Testing Semantics in Coinductive Form.	MFCS	2003	DBLP DOI BibTeX RDF	testing equivalence, process calculi, coinduction, formal power series
2	Luís Soares Barbosa, José Nuno Oliveira	Coinductive Interpreters for Process Calculi.	FLOPS	2002	DBLP DOI BibTeX RDF	coinductive types, applications, functional programming
2	Michele Boreale, Daniele Gorla	On Compositional Reasoning in the Spi-calculus.	FoSSaCS	2002	DBLP DOI BibTeX RDF	reasoning on security, process calculi, axiomatization
2	Rosa Saab, Raul Monroy, Fernando Godínez	Towards a Model for an Immune System.	MICAI	2002	DBLP DOI BibTeX RDF	Computer Immunology, Multi-agent systems, Process Calculi
2	Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva	Fine-Grained Multithreading with Process Calculi.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	multithreading, abstract-machine, Process-calculus
2	Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	Fine Grained Multithreading with Process Calculi.	IEEE PACT	2000	DBLP DOI BibTeX RDF	Multithreading, Abstract-Machine, Process-Calculus
2	Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro	Process Calculi for Coordination: From Linda to JavaSpaces.	AMAST	2000	DBLP DOI BibTeX RDF
2	Matthew Hennessy	Axiomatising Asynchronous Process Calculi (abstract).	FCT	1999	DBLP DOI BibTeX RDF
2	Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini	Process Calculi, from Theory to Practice: Verification Tools.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
1	Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard	Flow Logic for Process Calculi.	ACM Comput. Surv.	2012	DBLP DOI BibTeX RDF
1	Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt	On the expressiveness and decidability of higher-order process calculi.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu	Biologically Inspired Process Calculi, Petri Nets and Membrane Computing	CoRR	2011	DBLP BibTeX RDF
1	Marco Bernardo, Rocco De Nicola, Michele Loreti	Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi	PACO	2011	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu	Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)	CoRR	2011	DBLP BibTeX RDF
1		Process Calculi.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Bogdan Aman, Gabriel Ciobanu	Mobility in Process Calculi and Natural Computing		2011	DOI RDF
1	Chaodong He, Yuxi Fu, Hongfei Fu	Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.	FSEN	2011	DBLP DOI BibTeX RDF
1	Sven Schneider, Uwe Nestmann	Rigorous Discretization of Hybrid Systems Using Process Calculi.	FORMATS	2011	DBLP DOI BibTeX RDF
1	Daniele Gorla	Towards a unified approach to encodability and separation results for process calculi.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
1	Federico Banti, Rosario Pugliese, Francesco Tiezzi	A criterion for separating process calculi	EXPRESS'10	2010	DBLP DOI BibTeX RDF
1	Marco Bernardo	On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions	GANDALF	2010	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu, Maciej Koutny (eds.)	Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Daniele Gorla	A taxonomy of process calculi for distribution and mobility.	Distributed Computing	2010	DBLP DOI BibTeX RDF
1	Giacoma Valentina Monreale	LTS Semantics for Process Calculi from Their Graphical Encodings.	ICGT	2010	DBLP DOI BibTeX RDF
1	Robert Abo, Kamel Barkaoui, Karim Djouani	Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi.	ICDCS Workshops	2010	DBLP DOI BibTeX RDF
1	Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt	On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.	ICALP	2010	DBLP DOI BibTeX RDF
1	Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips	A generic abstract machine for stochastic process calculi.	CMSB	2010	DBLP DOI BibTeX RDF
1	Caroline Baroukh, Anthony Rowe, Yike Guo	Process calculi for systems biology.	BCB	2010	DBLP DOI BibTeX RDF
1	Giulio Caravagna, Jane Hillston	Modeling biological systems with delays in Bio-PEPA	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Richard Banks, L. Jason Steggles	An Abstraction Theory for Qualitative Models of Biological Systems	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei	Multiscale Bone Remodelling with Spatial P Systems	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov	Lumpability Abstractions of Rule-based Systems	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Yifei Bao, Adriana B. Compagnoni, Joseph Glavy, Tommy White	Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Giorgio Bacci, Marino Miculan	Measurable Stochastics for Brane Calculus	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu	Edge- and Node-Disjoint Paths in P Systems	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau	Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini	Aspects of multiscale modelling in a process algebra for biological systems	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina	Hybrid Calculus of Wrapped Compartments	MeCBIC	2010	DBLP DOI BibTeX RDF
1	Cosimo Laneve, Antonio Vitale	The Expressive Power of Synchronizations.	LICS	2010	DBLP DOI BibTeX RDF	dining philosophers problem, synchronizations, hypercube, Expressive power, process calculi
1	Nicolas Tabareau	A theory of distributed aspects.	AOSD	2010	DBLP DOI BibTeX RDF
1	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	On the expressive power of recursion, replication and iteration in process calculi.	Mathematical Structures in Computer Science	2009	DBLP DOI BibTeX RDF
1	Cristian Versari, Nadia Busi, Roberto Gorrieri	An expressiveness study of priority in process calculi.	Mathematical Structures in Computer Science	2009	DBLP DOI BibTeX RDF
1	Marcelo P. Fiore, Sam Staton	A congruence rule format for name-passing process calculi.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
1	Michele Boreale	Quantifying information leakage in process calculi.	Inf. Comput.	2009	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu (eds.)	Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Grégoire Jacob, Eric Filiol, Hervé Debar	Formalization of malware through process calculi	CoRR	2009	DBLP BibTeX RDF
1	Roberto Gorrieri	On Petri Net semantics for Process Calculi.	ICTCS	2009	DBLP BibTeX RDF
1	Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt	On the Expressiveness of Polyadicity in Higher-Order Process Calculi.	ICTCS	2009	DBLP BibTeX RDF
1	Cinzia Di Giusto, Jorge A. Pérez	Move vs Copy: Towards a Formal Comparison of Ambients and Higher-Order Process Calculi.	ICTCS	2009	DBLP BibTeX RDF
1	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink	Rate-Based Transition Systems for Stochastic Process Calculi.	ICALP	2009	DBLP DOI BibTeX RDF
1	Giorgio Bacci, Davide Grohmann, Marino Miculan	A framework for protein and membrane interactions	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina	A Type System for a Stochastic CLS	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu	New Solutions to the Firing Squad Synchronization Problems for Neural and Hyperdag P Systems	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Roberta Gori, Francesca Levi	Abstract Interpretation for Probabilistic Termination of Biological Systems	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Giorgio Bacci, Davide Grohmann, Marino Miculan	Bigraphical models for protein and membrane interactions	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Thomas Anung Basuki, Antonio Cerone, Rafael V. Carvalho	Modelling Cell Cycle using Different Levels of Representation	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero	A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Rudolf Freund, Marian Kogler	Drip and Mate Operations Acting in Test Tube Systems and Tissue-like P systems	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama	A Process Calculus for Molecular Interaction Maps	MeCBIC	2009	DBLP DOI BibTeX RDF
1	G. Michele Pinna, Andrea Saba	Dependencies and Simultaneity in Membrane Systems	MeCBIC	2009	DBLP DOI BibTeX RDF
1	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
1	Thomas Hildebrandt, Hugo A. López	Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.	ICLP	2009	DBLP DOI BibTeX RDF	Security, Mobility, Type systems, Process Calculi, Concurrent Constraint Programming
1	Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon	A compositional theory for STM Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	transactional memory, compositional reasoning, ambient calculus
1	Stephen Tyree, Rayus Kuplicki, Trevor Sarratt, Scott Fujan, John Hale	GridSPiM: A Framework for Simple Locality and Containment in the Stochastic pi-Calculus.	BICoB	2009	DBLP DOI BibTeX RDF
1	John K. Heath	The Equivalence between Biology and Computation.	CMSB	2009	DBLP DOI BibTeX RDF
1	Corrado Priami, Paola Quaglia, Alessandro Romanel	BlenX Static and Dynamic Semantics.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Bjørn Haagensen, Hans Hüttel	Parametrised Constants and Replication for Spatial Mobility.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink	On a Uniform Framework for the Definition of Stochastic Process Languages.	FMICS	2009	DBLP DOI BibTeX RDF
1	Rohit Chadha, Stéphanie Delaune, Steve Kremer	Epistemic Logic for the Applied Pi Calculus.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Morten Kühnrich, Uwe Nestmann	On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani	Normal Bisimulations in Calculi with Passivation.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro	On the Expressiveness of Forwarding in Higher-Order Communication.	ICTAC	2009	DBLP DOI BibTeX RDF
1	Roberto Bruni	Calculi for Service-Oriented Computing.	SFM	2009	DBLP DOI BibTeX RDF
1	Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon	Hierarchical Set Decision Diagrams and Regular Models.	TACAS	2009	DBLP DOI BibTeX RDF
1	Jeremy E. Dawson, Alwen Tiu	Formalising Observer Theory for Environment-Sensitive Bisimulation.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Xian Xu	Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	encoding, bisimulation, full abstraction, process calculus, higher order
1	Lucia Acciai, Michele Boreale	Responsiveness in process calculi.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Kazunori Ueda	Encoding Distributed Process Calculi into LMNtal.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Hubert Garavel	Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Pietro Di Gianantonio, Furio Honsell, Marina Lenisa	Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi.	WADT	2008	DBLP DOI BibTeX RDF