Search results for "Process-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Michael F. Worboys, Matt Duckham	Formalizing Mobility in Dynamic Location-Aware Sensor Networks.	MDM	2006	DBLP DOI BibTeX RDF
7	Davide Prandi	A Formal Approach to Molecular Docking.	CMSB	2006	DBLP DOI BibTeX RDF	Formal Methods, Systems Biology, Process Calculi, Molecular Docking, Drug Discovery
7	Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld	Bridging Language-Based and Process Calculi Security.	FoSSaCS	2005	DBLP DOI BibTeX RDF
7	Frank D. Valencia	Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL.	ICLP	2003	DBLP DOI BibTeX RDF
7	Gian Luca Cattani, Glynn Winskel	Presheaf Models for Concurrency.	CSL	1996	DBLP DOI BibTeX RDF
7	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	A Process-Based Semantics for Message Sequence Charts with Data.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
7	Dominique Larchey-Wendling	Bounding Resource Consumption with Gödel-Dummett Logics.	LPAR	2005	DBLP DOI BibTeX RDF
7	Paolo Baldan, Andrea Bracciali, Roberto Bruni	Bisimulation by Unification.	AMAST	2002	DBLP DOI BibTeX RDF
7	Luís Soares Barbosa, José Nuno Oliveira	Coinductive Interpreters for Process Calculi.	FLOPS	2002	DBLP DOI BibTeX RDF	coinductive types, applications, functional programming
7	Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin 0001	Derivation of Formal Representations from Process-Based Specification and Implementation Models.	ISSS	1997	DBLP DOI BibTeX RDF
7	Frits W. Vaandrager	Expressive Results for Process Algebras.	REX Workshop	1992	DBLP DOI BibTeX RDF	process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
6	Lorenzo Dematté, Corrado Priami, Alessandro Romanel	Modelling and simulation of biological processes in BlenX.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF	computational biology, systems biology, modelling and simulation, process calculi
6	Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani	Typing communicating component assemblages.	GPCE	2008	DBLP DOI BibTeX RDF	assemblage error, component types, process types, type interference, components, type system, communication systems
6	Davide Prandi, Paola Quaglia, Nicola Zannone	Formal Analysis of BPMN Via a Translation into COWS.	COORDINATION	2008	DBLP DOI BibTeX RDF
6	Maria Carla Palmeri, Rocco De Nicola, Mieke Massink	Basic Observables for Probabilistic May Testing.	QEST	2007	DBLP DOI BibTeX RDF
6	Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh 0002, K. C. Shashidhar	Testing Model-Processing Tools for Embedded Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
6	Rocco De Nicola	Languages and Process Calculi for Network Aware Programming - Short Summary -.	ICTAC	2005	DBLP DOI BibTeX RDF
6	Barry Norton, Matt Fairtlough	Reactive Types for Dataflow-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
6	David H. Pitt, Michael W. Shields	Local Invariance.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Local invariance, Abstraction, Protocol verification
6	Luís Caires	A Language for the Logical Specification of Processes and Relations.	ALP	1996	DBLP DOI BibTeX RDF
6	Gérard Berry	Preemption in Concurrent Systems.	FSTTCS	1993	DBLP DOI BibTeX RDF
6	Uno Holmer, Kim Guldstrand Larsen, Wang Yi 0001	Deciding Properties of Regular Real Time Processes.	CAV	1991	DBLP DOI BibTeX RDF
5	Antonio Garrote Hernández, María N. Moreno García	A formal definition of RESTful semantic web services.	WS-REST	2010	DBLP DOI BibTeX RDF
5	Mayla Brusò, Agostino Cortesi	Non-repudiation Analysis with LySa.	SEC	2009	DBLP DOI BibTeX RDF
5	Rosario Pugliese, Francesco Tiezzi 0001, Nobuko Yoshida	On Observing Dynamic Prioritised Actions in SOC.	ICALP (2)	2009	DBLP DOI BibTeX RDF
5	Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi 0001	On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals.	ICISS	2009	DBLP DOI BibTeX RDF
5	Marco Bottalico, Stefano Bistarelli	Constraint Based Languages for Biological Reactions.	ICLP	2009	DBLP DOI BibTeX RDF
5	Walid Chainbi	Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	behavioral semantics, multi-agent systems, modal logics, Transition systems
5	Allan Clark, Stephen Gilmore, Mirco Tribastone	Scalable Analysis of Scalable Systems.	FASE	2009	DBLP DOI BibTeX RDF
5	Bruno Blanchet	A Computationally Sound Mechanized Prover for Security Protocols.	IEEE Trans. Dependable Secur. Comput.	2008	DBLP DOI BibTeX RDF
5	Allan Clark, Stephen Gilmore, Mirco Tribastone	Service-Level Agreements for Service-Oriented Computing.	WADT	2008	DBLP DOI BibTeX RDF
5	Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001	Specifying and Analysing SOC Applications with COWS.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
5	Lucia Acciai, Michele Boreale	A Type System for Client Progress in a Service-Oriented Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	type systems, service-oriented computing, pi-calculus, process calculi
5	Julien Mallet, Siegfried Rouvrais	Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems.	QoSA	2008	DBLP DOI BibTeX RDF
5	Christelle Braun, Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi	Compositional Methods for Information-Hiding.	FoSSaCS	2008	DBLP DOI BibTeX RDF
5	Lorenzo Dematté, Corrado Priami, Alessandro Romanel	The BlenX Language: A Tutorial.	SFM	2008	DBLP DOI BibTeX RDF
5	Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos	Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.	FMOODS	2008	DBLP DOI BibTeX RDF
5	Zhengqin Luo	Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups.	ProvSec	2008	DBLP DOI BibTeX RDF
5	Ichiro Satoh	A Specification Framework for Earth-Friendly Logistics.	FORTE	2008	DBLP DOI BibTeX RDF
5	Dominikus Herzberg, Nicola Marsden, Corinna Leonhardt, Peter Kübler, Hartmut Jung, Sabine Thomanek, Annette Becker	Using Formal Specification Techniques for Advanced Counseling Systems in Health Care.	USAB	2007	DBLP DOI BibTeX RDF	Human-Computer Interaction in Health Care, Counseling Systems, Formal Methods, Usability Engineering
5	Lorenzo Dematté, Corrado Priami, Alessandro Romanel	BetaWB: modelling and simulating biological processes.	SCSC	2007	DBLP BibTeX RDF	systems biology, stochastic simulation, process calculi
5	Cédric Fournet, Andy Gordon 0001, Sergio Maffeis	A Type Discipline for Authorization in Distributed Systems.	CSF	2007	DBLP DOI BibTeX RDF
5	Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson	Topology-Dependent Abstractions of Broadcast Networks.	CONCUR	2007	DBLP DOI BibTeX RDF
5	Maria Luisa Guerriero, John K. Heath, Corrado Priami	An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra.	CMSB	2007	DBLP DOI BibTeX RDF
5	Gianluigi Ferrari 0002, Roberto Guanciale, Daniele Strollo, Emilio Tuosto	Coordination Via Types in an Event-Based Framework.	FORTE	2007	DBLP DOI BibTeX RDF
5	Ye Zhang 0002, Hanne Riis Nielson	Analyzing Security Protocols in Hierarchical Networks.	ATVA	2006	DBLP DOI BibTeX RDF
5	Roberto Zunino, Pierpaolo Degano	Handling exp, × (and Timestamps) in Protocol Analysis.	FoSSaCS	2006	DBLP DOI BibTeX RDF
5	Anna Philippou, George Michael	Verification Techniques for Distributed Algorithms.	OPODIS	2006	DBLP DOI BibTeX RDF
5	William R. Cook, Sourabh Patwardhan, Jayadev Misra	Workflow Patterns in Orc.	COORDINATION	2006	DBLP DOI BibTeX RDF
5	Bruno Blanchet	A Computationally Sound Mechanized Prover for Security Protocols.	S&P	2006	DBLP DOI BibTeX RDF
5	Bruno Blanchet, David Pointcheval	Automated Security Proofs with Sequences of Games.	CRYPTO	2006	DBLP DOI BibTeX RDF
5	Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro	SCC: A Service Centered Calculus.	WS-FM	2006	DBLP DOI BibTeX RDF
5	Martín Abadi, Bruno Blanchet	Analyzing security protocols with secrecy types and logic programs.	J. ACM	2005	DBLP DOI BibTeX RDF	secrecy properties, logic programming, Cryptographic protocols, typing, process calculi
5	Massimo Merro, Francesco Zappa Nardelli	Behavioral theory for mobile ambients.	J. ACM	2005	DBLP DOI BibTeX RDF	Behavioral theories, concurrency, programming languages, bisimulation, process calculi
5	Mikael Buchholtz	Automated Analysis of Infinite Scenarios.	TGC	2005	DBLP DOI BibTeX RDF
5	Cosimo Laneve, Gianluigi Zavattaro	web-pi at Work.	TGC	2005	DBLP DOI BibTeX RDF
5	Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl	Choreographing Security and Performance Analysis for Web Services.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF
5	Yuxin Deng, Catuscia Palamidessi	Axiomatizations for Probabilistic Finite-State Behaviors.	FoSSaCS	2005	DBLP DOI BibTeX RDF
5	Samuele Carpineti, Cosimo Laneve, Paolo Milazzo	BoPi - A Distributed Machine for Experimenting Web Services Technologies.	ACSD	2005	DBLP DOI BibTeX RDF
5	Pascal Lafourcade 0001, Denis Lugiez, Ralf Treinen	Intruder Deduction for AC-Like Equational Theories with Homomorphisms.	RTA	2005	DBLP DOI BibTeX RDF
5	Ajith Ramanathan, John C. Mitchell, Andre Scedrov, Vanessa Teague	Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols.	FoSSaCS	2004	DBLP DOI BibTeX RDF
5	David Robertson 0001	Multi-agent Coordination as Distributed Logic Programming.	ICLP	2004	DBLP DOI BibTeX RDF
5	Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini	For-LySa: UML for Authentication Analysis.	Global Computing	2004	DBLP DOI BibTeX RDF
5	Hervé Paulino, Pedro Marques, Luís M. B. Lopes, Vasco Thudichum Vasconcelos, Fernando M. A. Silva	A Multi-threaded Asynchronous Language.	PaCT	2003	DBLP DOI BibTeX RDF
5	Martin Große-Rhode	Compositional Comparison of Formal Software Specifications Using Transformation Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Formal specification, Integration, Consistency, Compositionality
5	Martín Abadi, Bruno Blanchet	Analyzing security protocols with secrecy types and logic programs.	POPL	2002	DBLP DOI BibTeX RDF
5	Andrew D. Gordon 0001	Types for Cryptographic Protocols.	CONCUR	2002	DBLP DOI BibTeX RDF
5	Martín Abadi, Bruno Blanchet	Secrecy Types for Asymmetric Communication.	FoSSaCS	2001	DBLP DOI BibTeX RDF
5	Valérie Gouranton, Pierre Réty, Helmut Seidl	Synchronized Tree Languages Revisited and New Applications.	FoSSaCS	2001	DBLP DOI BibTeX RDF	tree-tuple language, concurrency, rewriting
5	Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro	Temporary Data in Shared Dataspace Coordination Languages.	FoSSaCS	2001	DBLP DOI BibTeX RDF
5	Andrei Serjantov, Peter Sewell, Keith Wansbrough	The UDP Calculus: Rigorous Semantics for Real Networking.	TACS	2001	DBLP DOI BibTeX RDF
5	Peter Sewell, Jan Vitek	Secure Composition of Untrusted Code: Wrappers and Causality Types.	CSFW	2000	DBLP DOI BibTeX RDF
5	Howard Bowman, Giorgio P. Faconti	Analysing Cognitive Behaviour using LOTOS and Mexitl.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Cognitive behaviour, Temporal logic, LOTOS, Process calculi
5	Martín Abadi, Cédric Fournet, Georges Gonthier	Secure Communications Processing for Distributed Languages.	S&P	1999	DBLP DOI BibTeX RDF
5	James Riely, Matthew Hennessy	Distributed Processes and Location Failures (Extended Abstract).	ICALP	1997	DBLP DOI BibTeX RDF
5	Haruo Hosoya, Naoki Kobayashi 0001, Akinori Yonezawa	Partial Evaluation Scheme for Concurrent Languages and Its Correctness.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
5	Anna Philippou, David Walker 0008	On Transformations of Concurrent Object Programs.	CONCUR	1996	DBLP DOI BibTeX RDF
5	Anna Philippou, David Walker 0008	On Sharing and Determinacy in Concurrent Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
5	David Walker 0008	Algebraic Proofs of Properties of Objects.	ESOP	1994	DBLP DOI BibTeX RDF
5	Glenn Bruns	A Case Study in Safety-Critical Design.	CAV	1992	DBLP DOI BibTeX RDF