A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2014.09.014
@@ Property / DOI: 10.1016/j.ipl.2014.09.014 / rank @@
-Normal rank
@@ Property / author @@
+Anna Ingólfsdóttir
@@ Property / author: Anna Ingólfsdóttir / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Linda
@@ Property / describes a project that uses: Linda / 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.ipl.2014.09.014
+Normal rank
@@ Property / OpenAlex ID @@
+W1970782410
@@ Property / OpenAlex ID: W1970782410 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding untimed into timed process algebra: the case for explicit termination
+Normal rank
@@ Property / cites work @@
+The Algebra of Connectors—Structuring Interaction in BIP
+Normal rank
@@ Property / cites work @@
+Redesign of a systems engineering language: formalisation of \(\chi\)
+Normal rank
@@ Property / cites work @@
+Q4223016
@@ Property / cites work: Q4223016 / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebraic view of Linda coordination primitives
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Linda-based applicative and imperative process algebras
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Process algebra with guards: Combining hoare logic with process algebra
+Normal rank
@@ Property / cites work @@
+Communicating processes with value-passing and assignments
+Normal rank
@@ Property / cites work @@
+A theory of communicating processes with value passing
+Normal rank
@@ Property / cites work @@
+Unique fixpoint induction for message-passing process calculi
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038732
@@ Property / cites work: Q4038732 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of bisimulation and congruence formats for SOS with data
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of communicating processes with empty process
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2014.09.014
@@ Property / DOI: 10.1016/J.IPL.2014.09.014 / rank @@
+Normal rank