Skip header Section
Skip Bibliometrics Section
Handbook of Process AlgebraJanuary 2001
- Author:
- J. A. Bergstra,
- Editors:
- A. Ponse,
- Scott A. Smolka
Abstract
No abstract available.
Cited By
Krishna A, Le Pallec M, Mateescu R and Salaün G (2021). Design and Deployment of Expressive and Correct Web of Things Applications, ACM Transactions on Internet of Things, 3:1, (1-30), Online publication date: 28-Feb-2022.- Aceto L, Anastasiadi E, Castiglioni V, Ingólfsdóttir A and Luttik B In search of lost time Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-14)
- Skobelev V (2017). Attributed Transition Systems with Hidden Transitions, Cybernetics and Systems Analysis, 53:4, (524-534), Online publication date: 1-Jul-2017.
- Skobelev V (2017). Analysis of the Structure of Attributed Transition Systems Without Hidden Transitions, Cybernetics and Systems Analysis, 53:2, (165-175), Online publication date: 1-Mar-2017.
- Goncharov S, Schröder L, Rauch C and Piróg M Unifying Guarded and Unguarded Iteration Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203, (517-533)
- Loreti M and Hillston J Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools Advanced Lectures of the 16th International School on Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Volume 9700, (83-119)
- Zieliński B, Sobieski Ś, Kruszyński P, Sysak M and Maślanka P Object $$\pi $$-Calculus and Document Workflows Proceedings of the 5th International Conference on Model and Data Engineering - Volume 9344, (227-238)
- Spichkova M and Schmidt H Reconciling a component and process view Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (1-6)
- Mateescu R and Salaün G PIC2LNT Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems, (192-198)
- Nicola R, Latella D, Loreti M and Massink M (2013). A uniform definition of stochastic process calculi, ACM Computing Surveys, 46:1, (1-35), Online publication date: 1-Oct-2013.
- Kułakowski K and Szmuc T Modeling robot behavior with CCL Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots, (40-51)
- Aarts F, Heidarian F and Vaandrager F A theory of history dependent abstractions for learning interface automata Proceedings of the 23rd international conference on Concurrency Theory, (240-255)
- Diaconescu D, Leustean I, Petre L, Sere K and Stefanescu G Refinement-Preserving translation from event-b to register-voice interactive systems Proceedings of the 9th international conference on Integrated Formal Methods, (221-236)
- Nguyen H, Poizat P and Zaïdi F Passive conformance testing of service choreographies Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1528-1535)
- Derrick J and Boiten E Relational concurrent refinement Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems, (121-137)
- McIver A, Rabehaja T and Struth G On probabilistic kleene algebras, automata and simulations Proceedings of the 12th international conference on Relational and algebraic methods in computer science, (264-279)
- Pratt V Linear process algebra Proceedings of the 7th international conference on Distributed computing and internet technology, (92-111)
- Andova S, Groenewegen L and de Vink E (2011). Dynamic consistency in process algebra, Science of Computer Programming, 76:8, (711-735), Online publication date: 1-Aug-2011.
- Mardare R Decidability of modular logics for concurrency Proceedings of the 8th international conference on Perspectives of System Informatics, (274-288)
- Bistarelli S and Santini F (2011). A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process, Fundamenta Informaticae, 111:3, (257-279), Online publication date: 1-Aug-2011.
- Grigoryan H and Shoukourian A (2010). Equivalence of Processes in Partially Commutative Object-Oriented Environments, Fundamenta Informaticae, 105:4, (417-434), Online publication date: 1-Dec-2010.
- Ye C and Jacobsen H Event exposure for web services The smart internet, (197-215)
- Ye C and Jacobsen H Event exposure for web services The smart internet, (197-215)
- Ferreira J, Takai O, Malkowski S and Pu C Reducing exception handling complexity in business process modeling and implementation Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I, (150-167)
- Schewe K and Wang Q A formal model for service mediators Proceedings of the 2010 international conference on Advances in conceptual modeling: applications and challenges, (76-85)
- Eisentraut C, Hermanns H and Zhang L Concurrency and composition in a stochastic world Proceedings of the 21st international conference on Concurrency theory, (21-39)
- Khwaja A and Urban J (2010). A property based specification formalism classification, Journal of Systems and Software, 83:11, (2344-2362), Online publication date: 1-Nov-2010.
- Parizek P and Yuldashev N Extraction of component-environment interaction model using state space traversal Proceedings of the 2010 ACM Symposium on Applied Computing, (2203-2210)
- Matteucci I, Petrocchi M and Sbodio M CNL4DSA Proceedings of the 2010 ACM Symposium on Applied Computing, (616-620)
- Furia C, Mandrioli D, Morzenti A and Rossi M (2010). Modeling time in computing, ACM Computing Surveys, 42:2, (1-59), Online publication date: 1-Feb-2010.
- Hermanns H and Katoen J The how and why of interactive Markov chains Proceedings of the 8th international conference on Formal methods for components and objects, (311-337)
- Klin B (2009). Bialgebraic methods and modal logic in structural operational semantics, Information and Computation, 207:2, (237-257), Online publication date: 1-Feb-2009.
- Derrick J and Boiten E (2009). Relational Concurrent Refinement, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (21-34), Online publication date: 1-Dec-2009.
- Ben Lakhal N, Kobayashi T and Yokota H (2009). FENECIA, The VLDB Journal — The International Journal on Very Large Data Bases, 18:1, (1-56), Online publication date: 1-Jan-2009.
- Schneider S and Treharne H Changing System Interfaces Consistently Proceedings of the 7th International Conference on Integrated Formal Methods, (103-117)
- Boiten E and Derrick J Modelling Divergence in Relational Concurrent Refinement Proceedings of the 7th International Conference on Integrated Formal Methods, (183-199)
- Llana L and Núuñez M (2009). Testing Semantics for RTPA, Fundamenta Informaticae, 90:3, (305-335), Online publication date: 1-Aug-2009.
- Llana L and Núuñez M (2009). Testing Semantics for RTPA, Fundamenta Informaticae, 90:3, (305-335), Online publication date: 1-Mar-2009.
- Priami C (2009). Algorithmic systems biology, Communications of the ACM, 52:5, (80-88), Online publication date: 1-May-2009.
- Lopez N, Núñez M and Pelayo F A comparative study of STOPA and RTPA Transactions on computational science II, (224-245)
- Adamek J and Hnetynka P Perspectives in component-based software engineering Proceedings of the 2008 international workshop on Software Engineering in east and south europe, (35-42)
- Mardare R and Policriti A A Complete Axiomatic System for a Process-Based Spatial Logic Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science, (491-502)
- Mateescu R and Oudot E Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems Proceedings of the 15th international workshop on Model Checking Software, (196-213)
- Huang X, Jiao L and Lu W What semantic equivalences are suitable for non-interference properties in computer security Proceedings of the 9th international conference on Information and communications security, (334-349)
- Lüttgen G and Vogler W Ready simulation for concurrency Proceedings of the 34th international conference on Automata, Languages and Programming, (752-763)
- Schätz B and Giese H Models of reactive systems Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (3-15)
- Liu X Expansive-bisimulation for context-free processes Formal methods and hybrid real-time systems, (472-482)
- Van Eekelen M, Ten Hoedt S, Schreurs R and Usenko Y Analysis of a session-layer protocol in MCRL2 Proceedings of the 12th international conference on Formal methods for industrial critical systems, (182-199)
- Kitamura T and Lin H Controlling process modularity in mobile computing Proceedings of the 4th international conference on Theoretical aspects of computing, (246-259)
- Šery O and Plášil F Slicing of component behavior specification with respect to their composition Proceedings of the 10th international conference on Component-based software engineering, (189-202)
- Gabbay M and Mathijssen A A formal calculus for informal equality with binding Proceedings of the 14th international conference on Logic, language, information and computation, (162-176)
- Guerriero M, Priami C and Romanel A Modeling static biological compartments with beta-binders Proceedings of the 2nd international conference on Algebraic biology, (247-261)
- Bernardo M A survey of Markovian behavioral equivalences Proceedings of the 7th international conference on Formal methods for performance evaluation, (180-219)
- Cuijpers P On bicontinuous bisimulation and the preservation of stability Proceedings of the 10th international conference on Hybrid systems: computation and control, (676-679)
- Lüttgen G and Vogler W (2007). Conjunction on processes, Theoretical Computer Science, 373:1-2, (19-40), Online publication date: 10-Mar-2007.
- Klin B (2007). Bialgebraic Methods in Structural Operational Semantics, Electronic Notes in Theoretical Computer Science (ENTCS), 175:1, (33-43), Online publication date: 1-May-2007.
- Fecher H and Grabe I Finite abstract models for deterministic transition systems Proceedings of the 2007 international conference on Fundamentals of software engineering, (1-16)
- Chirichiello A and Salaün G (2007). Encoding process algebraic descriptions of web services into BPEL, Web Intelligence and Agent Systems, 5:4, (419-434), Online publication date: 1-Dec-2007.
- Braghetto K, Ferreira J and Pu C Using control-flow patterns for specifying business processes in cooperative environments Proceedings of the 2007 ACM symposium on Applied computing, (1234-1241)
- Wang M, Jin L and Liu L A description method of ontology change management using pi-calculus Proceedings of the First international conference on Knowledge Science, Engineering and Management, (477-489)
- Lüttgen G and Vogler W Conjunction on processes Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures, (261-276)
- Pous D Weak bisimulation up to elaboration Proceedings of the 17th international conference on Concurrency Theory, (390-405)
- Lüttgen G and Vogler W (2006). Bisimulation on speed, Theoretical Computer Science, 360:1, (209-227), Online publication date: 21-Aug-2006.
- Roggenbach M (2006). CSP-CASL, Theoretical Computer Science, 354:1, (42-71), Online publication date: 21-Mar-2006.
- Prandi D A formal approach to molecular docking Proceedings of the 2006 international conference on Computational Methods in Systems Biology, (78-92)
- Groote J, Reniers M and Usenko Y Time abstraction in timed µCRL à la regions Proceedings of the 20th international conference on Parallel and distributed processing, (180-180)
- Peschanski F and Hym S A stackless runtime environment for a Pi-calculus Proceedings of the 2nd international conference on Virtual execution environments, (57-67)
- Wang M and Liu L A pi-calculus based ontology change management Proceedings of the First Asian conference on The Semantic Web, (632-638)
- Bontà E, Bernardo M, Magee J and Kramer J Synthesizing concurrency control components from process algebraic specifications Proceedings of the 8th international conference on Coordination Models and Languages, (28-43)
- Chirichiello A and Salaun G Encoding Abstract Descriptions into Executable Web Services Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence, (457-463)
- Groote J and Willemse T (2005). Parameterised boolean equation systems, Theoretical Computer Science, 343:3, (332-369), Online publication date: 17-Oct-2005.
- Salaün G and Serwe W Translating hardware process algebras into standard process algebras Proceedings of the 5th international conference on Integrated Formal Methods, (287-306)
- Distefano D, Katoen J and Rensink A Safety and liveness in concurrent pointer programs Proceedings of the 4th international conference on Formal Methods for Components and Objects, (280-312)
- Fecher H and Majster-Cederbaum M (2005). Event Structures for Arbitrary Disruption, Fundamenta Informaticae, 68:1-2, (103-130), Online publication date: 1-Apr-2005.
- Fecher H and Majster-Cederbaum M (2005). Event Structures for Arbitrary Disruption, Fundamenta Informaticae, 68:1-2, (103-130), Online publication date: 1-Jan-2005.
- Anantharaman S, Chen J and Hains G A Synchronous Process Calculus for Service Costs Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (435-444)
- ter Beek M, Martín-Vide C and Mitrana V (2005). Synchronized shuffles, Theoretical Computer Science, 341:1, (263-275), Online publication date: 5-Sep-2005.
- Aldini A and Bernardo M (2005). On the usability of process algebra, Theoretical Computer Science, 335:2-3, (281-329), Online publication date: 23-May-2005.
- Baeten J (2005). A brief history of process algebra, Theoretical Computer Science, 335:2-3, (131-146), Online publication date: 23-May-2005.
- Núñez M, Rodríguez I and Rubio F (2005). Formal specification of multi-agent e-barter systems, Science of Computer Programming, 57:2, (187-216), Online publication date: 1-Aug-2005.
- Klin B (2005). From Bialgebraic Semantics to Congruence Formats, Electronic Notes in Theoretical Computer Science (ENTCS), 128:1, (3-37), Online publication date: 1-May-2005.
- Viroli M and Omicini A (2005). Process-algebraic approaches for multi-agent systems, Applicable Algebra in Engineering, Communication and Computing, 16:2-3, (69-75), Online publication date: 1-Aug-2005.
- Letichevsky A, Kapitonova J, Kotlyarov V, Volkov V, Letichevsky A and Weigert T Semantics of message sequence charts Proceedings of the 12th international conference on Model Driven, (117-132)
- Goldblatt R (2005). A comonadic account of behavioural covarieties of coalgebras, Mathematical Structures in Computer Science, 15:2, (243-269), Online publication date: 1-Apr-2005.
- Burckhardt S, Alur R and Martin M Verifying safety of a token coherence implementation by parametric compositional refinement Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, (130-145)
- Di Pierro A, Hankin C and Wiklicky H On a probabilistic chemical abstract machine and the expressiveness of linda languages Proceedings of the 4th international conference on Formal Methods for Components and Objects, (388-407)
- Rasse A, Perronne J, Muller P and Thirion B Using process algebra to validate behavioral aspects of object-oriented models Proceedings of the 2005 international conference on Satellite Events at the MoDELS, (39-47)
- Heckel R and Thöne S Behavior-preserving refinement relations between dynamic software architectures Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques, (1-27)
- Ricci A, Viroli M and Omicini A Environment-based coordination through coordination artifacts Proceedings of the First international conference on Environments for Multi-Agent Systems, (190-214)
- Cardoso J and Sheth A Introduction to semantic web services and web process composition Proceedings of the First international conference on Semantic Web Services and Web Process Composition, (1-13)
- Mosses P Exploiting labels in Structural Operational Semantics Proceedings of the 2004 ACM symposium on Applied computing, (1476-1481)
- Ferrara A Web services Proceedings of the 2nd international conference on Service oriented computing, (242-251)
- Glesner S and Blech J Coalgebraic semantics for component systems Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components, (245-261)
- Bergstra J, Ponse A and van der Zwaag M (2003). Branching time and orthogonal bisimulation equivalence, Theoretical Computer Science, 309:1, (313-355), Online publication date: 2-Dec-2003.
- Brinksma E Compositional theories of qualitative and quantitative behaviour Proceedings of the 24th international conference on Applications and theory of Petri nets, (37-42)
- López N, Núñez M, Rodríguez I and Rubio F A multi-agent system for e-barter including transaction and shipping costs Proceedings of the 2003 ACM symposium on Applied computing, (587-594)
- Viroli M Comparing semantic frameworks for coordination Proceedings of the 2003 ACM symposium on Applied computing, (394-401)
- Brinksma E and Hermanns H Process algebra and Markov chains Lectures on formal methods and performance analysis, (183-231)
- Ciardo G Distributed and structured analysis approaches to study large and complex systems Lectures on formal methods and performance analysis, (344-374)
- Kalantari L and Ternovska E A model checker for verifying ConGolog programs Eighteenth national conference on Artificial intelligence, (953-954)
- Viroli M and Omicini A Specifying agent observable behaviour Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, (712-720)
Recommendations
Construction of quotient BCI(BCK)-algebra via a fuzzy ideal
The present paper gives a new construction of a quotient BCI(BCK)- algebra X/µ by a fuzzy ideal µ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if µ is a fuzzy ideal (closed fuzzy ideal) of X. then X/µ is a commutative (...