Search results for "process algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Marcio K. Oikawa, João Eduardo Ferreira, Simon Malkowski, Calton Pu	Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions.	BPM	2009	DBLP DOI BibTeX RDF	series-parallel reductions and process algebra, business process modeling, directed acyclic graphs
3	Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira	Implementing rigorous web services with process algebra: navigation plan for web services.	SAC	2009	DBLP DOI BibTeX RDF	web services, workflow, implementation, software, process algebra, BPEL
3	Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.	SOFSEM	2009	DBLP DOI BibTeX RDF	MTBDD, elimination of immediate transitions, stochastic process algebra
3	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
3	Lamia Djoudi, Leïla Kloul	Assembly Code Analysis Using Stochastic Process Algebra.	EPEW	2008	DBLP DOI BibTeX RDF	Code optimisation, Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph
3	Luciano Vieira de Araújo, Ester C. Sabino, João Eduardo Ferreira	HIV drug resistance analysis tool based on process algebra.	SAC	2008	DBLP DOI BibTeX RDF	NPDL, drug resistance, genotypic drug resistance testing, process algebra, mutation analysis, HIV
3	Kelly Rosa Braghetto, João Eduardo Ferreira, Calton Pu	Using process algebra to control the execution of business processes.	SAC	2008	DBLP DOI BibTeX RDF	workflows, process algebra, business process management
3	Qiang Guo, John Derrick	Verification of timed Erlang/OTP components using the process algebra mucrl.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	OTP, process algebra ?CRL, timeout events, verification, erlang
3	Radu Mateescu, Pascal Poizat, Gwen Salaün	Behavioral adaptation of component compositions based on process algebra encodings.	ASE	2007	DBLP DOI BibTeX RDF	behavioral interfaces, adaptation, components, composition, process algebra
3	Jianmin Jiang, Jinzhao Wu, Hongping Shu	Symmetry in Process Algebra.	TASE	2007	DBLP DOI BibTeX RDF	behavioral equivalences, Process algebra, symmetry, permutation groups
3	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Analysis of the SET e-commerce protocol using a true concurrency process algebra.	SAC	2006	DBLP DOI BibTeX RDF	SET protocol, heterogeneous shared resources, performance evaluation, formal specification, process algebra
3	Philippe Jorrand, Marie Lalire	Toward a quantum process algebra.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	probabilistic process algebra, semantics of quantum measurement, quantum computing
3	Andrea Ferrara	Web services: a process algebra approach.	ICSOC	2004	DBLP DOI BibTeX RDF	web services, formal methods, process algebra, BPEL4WS
3	Tim A. C. Willemse	Embeddings of Hybrid Automata in Process Algebra.	IFM	2004	DBLP DOI BibTeX RDF	CRLt, Real-Time Systems, Process Algebra, Hybrid Systems, Expressive Power, Hybrid Automata
3	Yuan Liu, Baowen Xu	Process algebra model of Ada protected objects.	SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	model checking, process algebra, atomic action, protected object
3	Mario Bravetti, Roberto Gorrieri	Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement
3	Gwen Salaün, Michel Allemand, Christian Attiogbé	Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. (PDF / PS)	APSEC	2001	DBLP DOI BibTeX RDF	Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics
3	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP BibTeX RDF
3	Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort	Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes.	PAPM-PROBMIV	2001	DBLP BibTeX RDF
3	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	Information Flow Analysis in a Discrete-Time Process Algebra. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	Security, Real-time, Process Algebra, Non interference
3	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA. (PDF / PS)	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, temporal requirements, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, real-time requirements, stochastic process algebra, designs specifications, Alternating Bit Protocol, performance indexes
3	Yoshinao Isobe, Kazuhito Ohmaki	A process logic for distributed system synthesis . (PDF / PS)	APSEC	2000	DBLP DOI BibTeX RDF	process logic, distributed system synthesis, concurrent behavior, interleaving behavior, DS algebra, SP logic, computability, process algebra, process algebra, satisfiability, algebraic specification, concurrency theory
3	Riccardo Focardi, Roberto Gorrieri, V. Panini	The security checker: a semantics-based tool for the verification of security properties. (PDF / PS)	CSFW	1995	DBLP DOI BibTeX RDF	security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification
3	Garth Baulch, David Hemmendinger, Cherrice Traver	Analyzing and verifying locally clocked circuits with the concurrency workbench. (PDF / PS)	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, process algebra, logic design, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication
3	Jos C. M. Baeten, Jan A. Bergstra	Real Space Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	real space-time, Galilei transformation, Lorentz transformation, real time, interleaving, true concurrency, & Phrases process algebra
3	Steven Klusener	Completeness in Real Time Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	& Phrases Real Time, Integration, Process Algebra, SOS, ACP
3	Jos C. M. Baeten, Jan A. Bergstra	The State Operator in Real Time Process Algebra.	REX Workshop	1991	DBLP DOI BibTeX RDF	state operator, real time, locations, & Phrases process algebra
3	Steven Klusener	Abstraction in Real Time Process Algebra.	REX Workshop	1991	DBLP DOI BibTeX RDF	& Phrases Real Time, Abstraction, Process Algebra, Protocol Verification, ACP
3	Jos C. M. Baeten, Jan A. Bergstra	Process Algebra with a Zero Object.	CONCUR	1990	DBLP DOI BibTeX RDF	inaction, deadlock, failure, zero, & Phrases process algebra
2	Vashti Galpin, Luca Bortolussi, Jane Hillston	HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.	CONCUR	2009	DBLP DOI BibTeX RDF
2	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
2	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Time and Fairness in a Process Algebra with Non-blocking Reading.	SOFSEM	2009	DBLP DOI BibTeX RDF
2	Wan Fokkink	Process Algebra: An Algebraic Theory of Concurrency.	CAI	2009	DBLP DOI BibTeX RDF
2	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Liveness of a mutex algorithm in a fair process algebra.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2	Muffy Calder, Jane Hillston	Process Algebra Modelling Styles for Biomolecular Processes.	T. Comp. Sys. Biology	2009	DBLP DOI BibTeX RDF
2	Brian J. Ross, Janine H. Imada	Evolving stochastic processes using feature tests and genetic programming.	GECCO	2009	DBLP DOI BibTeX RDF	feature tests, genetic programming, time series, process algebra, stochastic process
2	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
2	Jasen Markovski, Erik P. de Vink	Extending Timed Process Algebra with Discrete Stochastic Time.	AMAST	2008	DBLP DOI BibTeX RDF
2	Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel	Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore	Integrated Analysis from Abstract Stochastic Process Algebra Models.	CMSB	2008	DBLP DOI BibTeX RDF
2	Marek Kwiatkowski, Ian Stark	The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.	CMSB	2008	DBLP DOI BibTeX RDF
2	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
2	Hao Wang, David I. Laurenson, Jane Hillston	Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.	ICC	2008	DBLP DOI BibTeX RDF
2	Chris McCaig, Rachel Norman, Carron Shankland	Process Algebra Models of Population Dynamics.	AB	2008	DBLP DOI BibTeX RDF
2	Marcel F. van Amstel, M. G. J. van den Brand, Z. Protic, Tom Verhoeff	Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.	ICMT	2008	DBLP DOI BibTeX RDF
2	Haomin Zhan, Guisheng Yin, Changsong Sun	Process Algebra Based for Requirement Process Reorganization.	CSSE	2008	DBLP DOI BibTeX RDF
2	Chunhua Yang, Haiyang Wang	A Process Algebra Based Aspect Weaving Model.	CSSE	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	Petr Jancar, Jirí Srba	Undecidability of bisimilarity by defender's forcing.	J. ACM	2008	DBLP DOI BibTeX RDF	process algebra, undecidability, pushdown automata, Bisimilarity
2	Marina Gelastou, Chryssis Georgiou, Anna Philippou	On the Application of Formal Methods for Specifying and Verifying Distributed Protocols.	NCA	2008	DBLP DOI BibTeX RDF	Usability, Formal Methods, Applicability, Process Algebra, Distributed Protocols, I/O Automata
2	Gabriel Ciobanu, Maciej Koutny	Modelling and Verification of Timed Interaction and Migration.	FASE	2008	DBLP DOI BibTeX RDF	compositional translation, behavioural consistency, mobility, process algebra, high-level Petri nets, timers
2	Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti	A Fluid Flow Approach to Usability Analysis of Multi-user Systems.	TAMODIA/HCSE	2008	DBLP DOI BibTeX RDF	Model-based usability analysis, Performance Evaluation Process Algebra, Formal Methods, Ordinary Differential Equations, Groupware Systems
2	Yingxu Wang	On Contemporary Denotational Mathematics for Computational Intelligence.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	Denotational mathematics, concept algebra, system algebra, embedded relations, incremental relations, big-R notation, software engineering, process algebra, knowledge engineering, computational intelligence, cognitive informatics, RTPA
2	Yingxu Wang, Yiyu Yao, Guoyin Wang	Perspectives on Denotational Mathematics: New Means of Thought.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, system algebra, visual semantic algebra, natural intelligence, AI, rough set, process algebra, knowledge engineering, granular computing, computational intelligence, Cognitive informatics, RTPA
2	Jasen Markovski, Erik P. de Vink	Real-Time Process Algebra with Stochastic Delays.	ACSD	2007	DBLP DOI BibTeX RDF
2	Anton Wijs	Achieving Discrete Relative Timing with Untimed Process Algebra.	ICECCS	2007	DBLP DOI BibTeX RDF
2	Benoît Fraikin, Marc Frappier	Efficient Symbolic Execution of Large Quantifications in a Process Algebra.	ICFEM	2007	DBLP DOI BibTeX RDF
2	Annalisa Bossi, Carla Piazza, Sabina Rossi	Action Refinement in Process Algebra and Security Issues.	LOPSTR	2007	DBLP DOI BibTeX RDF
2	Luca Cardelli	Invited Talk: A Process Algebra Master Equation.	QEST	2007	DBLP DOI BibTeX RDF
2	Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu	Modeling and Verifying Web Services Choreography Using Process Algebra.	SEW	2007	DBLP DOI BibTeX RDF
2	Amelia Badica, Costin Badica	Formal Modeling of Agent-Based English Auctions Using Finite State Process Algebra.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
2	Michel A. Reniers, Muck van Weerdenburg	Action Abstraction in Timed Process Algebra.	FSEN	2007	DBLP DOI BibTeX RDF
2	Aleksandar Dimovski, Ranko Lazic	Compositional software verification based on game semantics and process algebra.	STTT	2007	DBLP DOI BibTeX RDF
2	Kelly Rosa Braghetto, João Eduardo Ferreira, Calton Pu	Using control-flow patterns for specifying business processes in cooperative environments.	SAC	2007	DBLP DOI BibTeX RDF	control-flow patterns, process reference modeling, process algebra, business process management, scientific workflows
2	Bas Ploeger, Lou J. Somers	Analysis and verification of an automatic document feeder.	SAC	2007	DBLP DOI BibTeX RDF	copier, mCRL, process algebra, document systems
2	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	Modelling Mobility in High-level Petri Nets.	ACSD	2007	DBLP DOI BibTeX RDF	KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra
2	Qiang Guo	Verifying Erlang/OTP Components in mu CRL.	FORTE	2007	DBLP DOI BibTeX RDF	OTP, ?CRL, Verification, process algebra, Erlang
2	Seyyed Vahid Hashemian, Farhad Mavaddat	Automatic Composition of Stateless Components: A Logical Reasoning Approach.	FSEN	2007	DBLP DOI BibTeX RDF	Software Reuse, Process Algebra, Web Services Composition, Component Composition
2	Vincent Danos, Fabien Tarissan	Self-assembling graphs.	Natural Computing	2007	DBLP DOI BibTeX RDF	distributed algorithm theory, process algebra, Concurrency theory
2	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Checking a Mutex Algorithm in a Process Algebra with Fairness.	CONCUR	2006	DBLP DOI BibTeX RDF
2	Tim Miller, Peter McBurney	Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols.	ESAW	2006	DBLP DOI BibTeX RDF
2	Jeremy T. Bradley, Stephen T. Gilmore, Nigel Thomas	Performance analysis of stochastic process algebra models using stochastic simulation.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Till Mossakowski, Markus Roggenbach	Structured CSP - A Process Algebra as an Institution.	WADT	2006	DBLP DOI BibTeX RDF
2	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
2	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Process Algebra Specification of Flexible Manufacturing Systems.	SYNASC	2006	DBLP DOI BibTeX RDF
2	Muffy Calder, Stephen Gilmore, Jane Hillston	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.	T. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
2	Jasen Markovski, Erik P. de Vink	Embedding Real Time in Stochastic Process Algebras.	EPEW	2006	DBLP DOI BibTeX RDF	Stochastic delay, weak choice, real-time and stochastic process algebra, race condition
2	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	A Petri Net Translation of pi-Calculus Terms.	ICTAC	2006	DBLP DOI BibTeX RDF	compositional translation, behavioural consistency, mobility, Petri nets, process algebra, ?-calculus
2	Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky	On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
2	Ichiro Satoh	Building and Selecting Mobile Agents for Network Management.	J. Network Syst. Manage.	2006	DBLP DOI BibTeX RDF	formal specification, mobile agent, Network management, process algebra, separation of concerns
2	Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik	Finite Equational Bases in Process Algebra: Results and Open Questions.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
2	Jos C. M. Baeten, Mario Bravetti	A Ground-Complete Axiomatization of Finite State Processes in Process Algebra.	CONCUR	2005	DBLP DOI BibTeX RDF
2	Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura	Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra.	ECMDA-FA	2005	DBLP DOI BibTeX RDF
2	Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion	Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models.	MoDELS Satellite Events	2005	DBLP DOI BibTeX RDF
2	Stefano Cattani, Marta Z. Kwiatkowska	A refinement-based process algebra for timed automata.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF
2	Naijun Zhan, Mila E. Majster-Cederbaum	Deriving Non-determinism from Conjunction and Disjunction.	FORTE	2005	DBLP DOI BibTeX RDF	Synchronization Tree Logic, process algebra, ?-calculus, Non-determinism
2	Alaaeddine Fellah, John Mullins	Admissible Interference by Typing for Cryptographic Protocols.	ICICS	2005	DBLP DOI BibTeX RDF	Admissible interference, Type systems, Process Algebra, Cryptographic Protocols, Security Properties
2	Eugene Eberbach	Decision Theory = Performance Measure Theory + Uncertainty Theory.	RSFDGrC	2005	DBLP DOI BibTeX RDF	resource-bounded reasoning, uncertainty, process algebra, problem solving, decision theory
2	Antonio Cerone, George J. Milne	Property verification of asynchronous systems.	ISSE	2005	DBLP DOI BibTeX RDF	asynchronous hardware, Formal verification, process algebra, constraint modelling
2	Guang-Ping Qin, Jin-Zhao Wu	Action Refinement for Real-Time Concurrent Processes with Urgency.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	timed event, real-time process algebra, structure, action refinement, urgency
2	Hubert Garavel, Wendelin Serwe	State Space Reduction for Process Algebra Specifications.	AMAST	2004	DBLP DOI BibTeX RDF
2	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
2	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià	A Bounded True Concurrency Process Algebra for Performance Evaluation.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
2	K. N. Sridhar, Gabriel Ciobanu	Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
2	Gwen Salaün, Lucas Bordeaux, Marco Schaerf	Describing and Reasoning on Web Services using Process Algebra.	ICWS	2004	DBLP DOI BibTeX RDF
2	Raul Monroy	A Process Algebra Model of the Immune System.	KES	2004	DBLP DOI BibTeX RDF
2	Jos C. M. Baeten, Michel A. Reniers	Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).	SFM	2004	DBLP DOI BibTeX RDF
2	Lucas Bordeaux, Gwen Salaün	Using Process Algebra for Web Services: Early Results and Perspectives.	TES	2004	DBLP DOI BibTeX RDF
2	Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle	Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models.	WOSP	2004	DBLP DOI BibTeX RDF
2	Mariya Koshkina, Franck van Breugel	Modelling and verifying web service orchestration by means of the concurrency workbench.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	concurrency workbench of the new century, process algebra compiler, web service, modelling, verification, business process, BPEL4WS