A coalgebraic approach to the semantics of the ambient calculus (Q860882): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2006.07.006
@@ Property / DOI: 10.1016/j.tcs.2006.07.006 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.07.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2115692551
@@ Property / OpenAlex ID: W2115692551 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847815
@@ Property / cites work: Q2847815 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation congruences in safe ambients
@@ Property / cites work: Bisimulation congruences in safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral theory for mobile ambients
@@ Property / cites work: Behavioral theory for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic-coalgebraic specification in CoCASL
@@ Property / cites work: Algebraic-coalgebraic specification in CoCASL / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Expressive logics for coalgebras via terminal sequence induction
+Normal rank
@@ Property / cites work @@
+Q5306026
@@ Property / cites work: Q5306026 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+A theory of higher order communicating systems
@@ Property / cites work: A theory of higher order communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2006.07.006
@@ Property / DOI: 10.1016/J.TCS.2006.07.006 / rank @@
+Normal rank