Revisiting sequential composition in process calculi (Q890611): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2015.08.001
@@ Property / DOI: 10.1016/j.jlamp.2015.08.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CADP
@@ Property / describes a project that uses: CADP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR2
@@ Property / describes a project that uses: FDR2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR3
@@ Property / describes a project that uses: FDR3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E-LOTOS
@@ Property / describes a project that uses: E-LOTOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fiacre
@@ Property / describes a project that uses: Fiacre / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LNT2LOTOS
@@ Property / describes a project that uses: LNT2LOTOS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2015.08.001
+Normal rank
@@ Property / OpenAlex ID @@
+W1411866384
@@ Property / OpenAlex ID: W1411866384 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Algèbre de processus et synchronisation
@@ Property / cites work: Algèbre de processus et synchronisation / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3485879
@@ Property / cites work: Q3485879 / rank @@
+Normal rank
@@ Property / cites work @@
+PSF - A Retrospective
@@ Property / cites work: PSF - A Retrospective / rank @@
+Normal rank
@@ Property / cites work @@
+Q3191614
@@ Property / cites work: Q3191614 / rank @@
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of the mCRL2 Toolset and Its Recent Advances
+Normal rank
@@ Property / cites work @@
+Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Towards action-refinement in process algebras
@@ Property / cites work: Towards action-refinement in process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Adding action refinement to a finite process algebra
+Normal rank
@@ Property / cites work @@
+Comparing syntactic and semantic action refinement
+Normal rank
@@ Property / cites work @@
+Q4222918
@@ Property / cites work: Q4222918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760253
@@ Property / cites work: Q2760253 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of communicating processes with empty process
+Normal rank
@@ Property / cites work @@
+Q2760242
@@ Property / cites work: Q2760242 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+On sequential composition, action prefixes and process prefix
+Normal rank
@@ Property / cites work @@
+Q3776606
@@ Property / cites work: Q3776606 / rank @@
+Normal rank
@@ Property / cites work @@
+A general conservative extension theorem in process algebras with inequalities
+Normal rank
@@ Property / cites work @@
+Process algebra with guards: Combining hoare logic with process algebra
+Normal rank
@@ Property / cites work @@
+Q4738368
@@ Property / cites work: Q4738368 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994745
@@ Property / cites work: Q3994745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680259
@@ Property / cites work: Q3680259 / rank @@
+Normal rank
@@ Property / cites work @@
+The laws of Occam programming
@@ Property / cites work: The laws of Occam programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268485
@@ Property / cites work: Q4268485 / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics of occam
@@ Property / cites work: An operational semantics of occam / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of priority and fairness in occam
@@ Property / cites work: The semantics of priority and fairness in occam / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling communicating processes into delay-insensitive VLSI circuits
+Normal rank
@@ Property / cites work @@
+On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
+Normal rank
@@ Property / cites work @@
+Q4798036
@@ Property / cites work: Q4798036 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional modelling and analysis framework for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Redesign of a systems engineering language: formalisation of \(\chi\)
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax and consistent equation semantics of hybrid Chi
+Normal rank
@@ Property / cites work @@
+A Process Algebra for Wireless Mesh Networks
@@ Property / cites work: A Process Algebra for Wireless Mesh Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Typestate: A programming language concept for enhancing software reliability
+Normal rank
@@ Property / cites work @@
+Linearization in parallel pCRL
@@ Property / cites work: Linearization in parallel pCRL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942013
@@ Property / cites work: Q4942013 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of bisimulation and congruence formats for SOS with data
+Normal rank
@@ Property / cites work @@
+Q4992500
@@ Property / cites work: Q4992500 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for nondeterministic Kleene algebras
+Normal rank
@@ Property / cites work @@
+Models of nondeterministic regular expressions
@@ Property / cites work: Models of nondeterministic regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of regular expressions under bisimulation
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Q4422085
@@ Property / cites work: Q4422085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3355228
@@ Property / cites work: Q3355228 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for communicating processes with value-passing
+Normal rank
@@ Property / cites work @@
+Q4038693
@@ Property / cites work: Q4038693 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of communicating processes with value passing
+Normal rank
@@ Property / cites work @@
+Proof systems for message-passing process algebras
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2015.08.001
@@ Property / DOI: 10.1016/J.JLAMP.2015.08.001 / rank @@
+Normal rank