A behavioural theory for a \(\pi\)-calculus with preorders (Q890617): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2015.07.001
@@ Property / DOI: 10.1016/j.jlamp.2015.07.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+PiDuce
@@ Property / describes a project that uses: PiDuce / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W4205795573
@@ Property / OpenAlex ID: W4205795573 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A presheaf environment for the explicit fusion calculus
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Trustworthy Global Computing
@@ Property / cites work: Trustworthy Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+PiDuce- A project for experimenting web services technologies
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of typed mobile processes
+Normal rank
@@ Property / cites work @@
+Acyclic Solos and Differential Interaction Nets
@@ Property / cites work: Acyclic Solos and Differential Interaction Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484502
@@ Property / cites work: Q4484502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536373
@@ Property / cites work: Q4536373 / rank @@
+Normal rank
@@ Property / cites work @@
+Name-Passing Calculi: From Fusions to Preorders and Types
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof System for Applied Pi Calculus
@@ Property / cites work: Proof System for Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories for name-passing calculi
@@ Property / cites work: Algebraic theories for name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219040
@@ Property / cites work: Q4219040 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2015.07.001
@@ Property / DOI: 10.1016/J.JLAMP.2015.07.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:890617