Sheaf semantics for concurrent interacting objects (Q4017459): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves with values in a category
@@ Property / cites work: Sheaves with values in a category / rank @@
+Normal rank
@@ Property / cites work @@
+OBJECTS
@@ Property / cites work: OBJECTS / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional proof system on a category of labelled transition systems
+Normal rank
@@ Property / cites work @@
+Morphismes unispectraux. (Unispectral morphisms)
@@ Property / cites work: Morphismes unispectraux. (Unispectral morphisms) / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical foundations of computer science 1991. 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4017459