Search results for "process algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi	TAPAs: A Tool for the Analysis of Process Algebras.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	behavioural equivalences, concurrency, process algebras, modal logics, bisimulation, property verification
3	Barbara König, Ugo Montanari, Philippa Gardner	04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
3	Natalia López, Manuel Núñez, Fernando Rubio	Stochastic Process Algebras Meet Eden.	IFM	2002	DBLP DOI BibTeX RDF	functional programming, Process algebras
3	Peter Buchholz, Peter Kemper	Quantifying the Dynamic Behavior of Process Algebras.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF	process algebras, bisimulation, congruence, semiring
3	Xavier Nicollin, Joseph Sifakis	An Overview and Synthesis on Timed Process Algebras.	CAV	1991	DBLP DOI BibTeX RDF	specification of timed systems, real-time, process algebras
3	Xavier Nicollin, Joseph Sifakis	An Overview and Synthesis on Timed Process Algebras.	REX Workshop	1991	DBLP DOI BibTeX RDF	specification of timed systems, real-time, process algebras
2	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
2	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
2	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani	A framework for performance evaluation and functional verification in stochastic process algebras.	SAC	2008	DBLP DOI BibTeX RDF
2	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi	Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.	IFIP TCS	2008	DBLP DOI BibTeX RDF
2	Federica Ciocchetta, Jane Hillston	Process Algebras in Systems Biology.	SFM	2008	DBLP DOI BibTeX RDF
2	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis	Extending statecharts with process algebra operators.	ISSE	2008	DBLP DOI BibTeX RDF	EB3, Information systems, Process algebras, Statecharts, State transition diagrams
2	Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone	Stochastic Process Algebras.	SFM	2007	DBLP DOI BibTeX RDF
2	Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk	Combining ECA Rules with Process Algebras for the Semantic Web.	RuleML	2006	DBLP DOI BibTeX RDF
2	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka	Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR	2006	DBLP DOI BibTeX RDF	process equivalences, continuous-time Markov chains, equational theories, stochastic process algebras, complete axiomatizations
2	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Achieving Fault Tolerance by a Formally Validated Interaction Policy.	RODIN Book	2006	DBLP DOI BibTeX RDF	Integrity policies, fault tolerance, model checking, process algebras
2	Rune Gustavsson, Martin Fredriksson	Process algebras as support for sustainable systems of services.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
2	Simonetta Balsamo, Marta Simeoni	On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models.	FIRB-Perf	2005	DBLP DOI BibTeX RDF
2	Fabiel Zúñiga, Félix F. Ramos Corchado, H. Ivan Piza	Specifying Agent's Goals in 3D Scenarios Using Process Algebras.	ISSADS	2005	DBLP DOI BibTeX RDF
2	Barbara König, Ugo Montanari, Philippa Gardner (eds.)	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2005	DBLP BibTeX RDF
2	Gwen Salaün, Wendelin Serwe	Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.	IFM	2005	DBLP DOI BibTeX RDF
2	Jane Hillston	Process Algebras for Quantitative Analysis.	LICS	2005	DBLP DOI BibTeX RDF
2	Roberto Bruni, Ivan Lanese	Summary 3: On Graph(ic) Encodings.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
2	Paolo Baldan, Barbara König, Arend Rensink	Summary 2: Graph Grammar Verification through Abstraction.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
2	Pawel Sobocinski	Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.	Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems	2004	DBLP BibTeX RDF
2	Marco Bernardo	Symbolic semantic rules for producing compact STGLAs from value passing process descriptions.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	symbolic semantics, value passing, Process algebras
2	Apostolos Niaouris	An Algebra of Petri Nets with Arc-Based Time Restrictions.	ICTAC	2004	DBLP DOI BibTeX RDF	Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras
2	Jirí Srba	Strong bisimilarity of simple process algebras: complexity lower bounds.	Acta Inf.	2003	DBLP DOI BibTeX RDF
2	Eike Best, Maciej Koutny	Process Algebra: A Petri-Net-Oriented Tutorial.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	Petri nets, process algebras
2	Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello	Architecting families of software systems with process algebras.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Architectural mismatch detection, software architectures, process algebras, architectural styles
2	Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio	A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.	IICS	2002	DBLP DOI BibTeX RDF
2	Simonetta Balsamo, Marco Bernardo, Marta Simeoni	Combining stochastic process algebras and queueing networks for software architecture analysis.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF
2	Maciej Koutny	A Compositional Model of Time Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
2	Ulrich Herzog	Process algebras are getting mature for performance evaluation?!	SIGMETRICS Performance Evaluation Review	1999	DBLP DOI BibTeX RDF
2	Jitka Stríbrná	Approximating Weak Bisimulation on Basic Process Algebras.	MFCS	1999	DBLP DOI BibTeX RDF
2	Holger Hermanns, Markus Siegle	Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.	ARTS	1999	DBLP DOI BibTeX RDF
2	Eike Best, Raymond R. Devillers, Maciej Koutny	The Box Algebra - A Model of Nets and Process Expressions.	ICATPN	1999	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
2	Arend Rensink, Heike Wehrheim	Weak Sequential Composition in Process Algebras.	CONCUR	1994	DBLP DOI BibTeX RDF
2	Flemming Nielson, Hanne Riis Nielson	From CML to Process Algebras (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
2	Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini	From Data Flow Networks to Process Algebras.	PARLE	1993	DBLP DOI BibTeX RDF
2	Philippe Jorrand	Communication as Unification in Process Algebras: Operational Semantics (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
2	Huimin Lin	An Interactive Proof Tool for Process Algebras.	STACS	1992	DBLP DOI BibTeX RDF
2	Kostas Kontogiannis	Toward program representation and program understanding using process algebras.	CASCON	1992	DBLP DOI BibTeX RDF
2	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
2	Rocco De Nicola	Action and State-based Logics for Process Algebras.	CONCUR	1991	DBLP DOI BibTeX RDF
2	Tommaso Bolognesi, Ferdinando Lucidi	Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator.	REX Workshop	1991	DBLP DOI BibTeX RDF	timed process algebra, timed Petri Net
2	Eric Madelaine, Didier Vergamini	Finiteness Conditions and Structural Construction of Automata for All Process Algebras.	CAV	1990	DBLP DOI BibTeX RDF
1	Vasa Curcin, Paolo Missier, David De Roure	Simulating Taverna workflows using stochastic process algebras.	Concurrency and Computation: Practice and Experience	2011	DBLP DOI BibTeX RDF
1	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Read Operators and their Expressiveness in Process Algebras	EXPRESS	2011	DBLP DOI BibTeX RDF
1	Rocco De Nicola	Process Algebras.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
1	Nataliya Skrypnyuk, Flemming Nielson	Reachability for Finite-State Process Algebras Using Static Analysis.	RP	2011	DBLP DOI BibTeX RDF
1	Antonella Santone	Clone detection through process algebras and Java bytecode.	IWSC	2011	DBLP DOI BibTeX RDF
1	Michael J. A. Smith, Stephen Gilmore	Visualisation for Stochastic Process Algebras: The Graphic Truth.	EPEW	2011	DBLP DOI BibTeX RDF
1	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi	Lifting non-finite axiomatizability results to extensions of process algebras.	Acta Inf.	2010	DBLP DOI BibTeX RDF
1	Luca Bortolussi	Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras.	ASMTA	2010	DBLP DOI BibTeX RDF
1	Jane Hillston	Process Algebras for Collective Dynamics.	MPC	2010	DBLP DOI BibTeX RDF
1	Grégoire Jacob, Eric Filiol, Hervé Debar	Formalization of Viruses and Malware Through Process Algebras.	ARES	2010	DBLP DOI BibTeX RDF	process algebra, detection, malware, prevention
1	Yanjun Zuo	RFID survivability quantification and attack modeling.	WISEC	2010	DBLP DOI BibTeX RDF	modeling, survivability, rfid, quantification, adversary
1	Damas P. Gruska	Quantifying Security for Timed Process Algebras.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, C. A. Middelburg	Meadow Enriched ACP Process Algebras	CoRR	2009	DBLP BibTeX RDF
1	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
1	Gabriele Kotsis	The evolution of the web: information -- communication -- cooperation.	iiWAS	2009	DBLP DOI BibTeX RDF
1	Gabriele Kotsis	The evolution of the web: information - communication - cooperation.	MoMM	2009	DBLP DOI BibTeX RDF
1	David Taylor-Fuller, Susan J. Lincke	The development of a graphic multidimensional Markov Chain modeler to diagram large state spaces.	SpringSim	2009	DBLP DOI BibTeX RDF	Markov Chain, modeling tool
1	Ruggero Lanotte, Simone Tini	Probabilistic bisimulation as a congruence.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	probabilistic process algebra, transition rule format, Bisimulation, congruence
1	Ender Yüksel, Hanne Riis Nielson, Flemming Nielson	A secure key establishment protocol for zigbee wireless sensor networks.	ISCIS	2009	DBLP DOI BibTeX RDF
1	Thomas Hornung, Wolfgang May, Georg Lausen	Process Algebra-Based Query Workflows.	CAiSE	2009	DBLP DOI BibTeX RDF
1	Vashti Galpin, Luca Bortolussi, Jane Hillston	HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Liliana D'Errico, Michele Loreti	Assume-Guarantee Verification of Concurrent Systems.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Urmi Majumder, John H. Reif	Design of a Biomolecular Device That Executes Process Algebra.	DNA	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	Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf	Formalisms for Specifying Markovian Population Models.	RP	2009	DBLP DOI BibTeX RDF
1	Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden	Epistemic Strategies and Games on Concurrent Processes.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Muffy Calder, Jane Hillston	Process Algebra Modelling Styles for Biomolecular Processes.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
1	Maria Luisa Guerriero	Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
1	Niels Lohmann, Eric Verbeek, Remco M. Dijkman	Petri Net Transformations for Business Processes - A Survey.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF
1	Joachim Parrow	Expressiveness of Process Algebras.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	An analyzer for extended compositional process algebras.	ICSE Companion	2008	DBLP DOI BibTeX RDF	simulation, model checking, fairness, sat solvers
1	Federica Ciocchetta, Corrado Priami, Paola Quaglia	An Automatic Translation of SBML into Beta-Binders.	IEEE/ACM Trans. Comput. Biology Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, Process algebras, systems biology, biological systems, translation tool, Systems Biology Markup Language (SBML)
1	Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	formal specification, Petri nets, process algebras, security protocols
1	Qiang Guo, John Derrick, Csaba Hoch	Verifying Erlang Telecommunication Systems with the Process Algebra µCRL.	FORTE	2008	DBLP DOI BibTeX RDF	Telecoms case study, ?CRL, Verification, Process Algebras, Translation, Erlang
1	Hermenegilda Macià, Valentín Valero Ruiz, Fernando Cuartero, David de Frutos-Escrig	A congruence relation for sPBC.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF	Petri box calculus, Operational semantics, Stochastic Petri nets, Stochastic process algebras
1	Michael Leuschel	Declarative programming for verification: lessons and outlook.	PPDP	2008	DBLP DOI BibTeX RDF	model checking, verification, formal methods, animation, logic programming
1	Stephen Gilmore, Jane Hillston	Foreword.	SIGMETRICS Performance Evaluation Review	2008	DBLP DOI BibTeX RDF
1	Joseph M. Morris, Malcolm Tyrrell	Dually nondeterministic functions.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism
1	Markus Kirchberg	Abstract State Machine Models for Basic Service-Oriented Architectures.	APSCC	2008	DBLP DOI BibTeX RDF
1	Chunhua Yang	Towards a Framework for Reasoning about Aspect Weaving Impact.	CSSE	2008	DBLP DOI BibTeX RDF
1	Guang Zheng, Jinzhao Wu, Lian Li	Stochastic Process Algebra with Value-Passing.	CSSE	2008	DBLP DOI BibTeX RDF
1	Fangxiong Xiao, Zhiqiu Huang, Jun Hu, Min Yuan, Junhua Zhang	Support Web Services Composition with Optimal Cost Using PPA.	ICWS	2008	DBLP DOI BibTeX RDF
1	Chunhua Yang, Jiancheng Wan	An Approach to Separating Security Concerns in E-Commerce Systems at the Architecture Level.	ISECS	2008	DBLP DOI BibTeX RDF	Security, E-commerce, Separation of concerns, Aspect oriented software development
1	Paolo Ballarini, András Horváth	Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains.	QEST	2008	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Bounded Model Checking of Compositional Processes.	TASE	2008	DBLP DOI BibTeX RDF	Compositional Processes, Tool, Bounded Model Checking
1	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi	Timed Automata Patterns.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
1	Luca Cardelli, Gianluigi Zavattaro	On the Computational Power of Biochemistry.	AB	2008	DBLP DOI BibTeX RDF
1	Daniel Yankelevich	Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Anders Schack-Nielsen, Carsten Schürmann	Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
1	Allan Clark, Stephen Gilmore	State-Aware Performance Analysis with eXtended Stochastic Probes.	EPEW	2008	DBLP DOI BibTeX RDF
1	Bartek Klin, Vladimiro Sassone	Structural Operational Semantics for Stochastic Process Calculi.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Romain Beauxis	Probabilistic and Concurrent Models for Security.	ICLP	2008	DBLP DOI BibTeX RDF
1	Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff	Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.	ICMT	2008	DBLP DOI BibTeX RDF