A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maria
@@ Property / describes a project that uses: Maria / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAT
@@ Property / describes a project that uses: PAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PTSC
@@ Property / describes a project that uses: PTSC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / 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.1007/s00165-021-00530-x
+Normal rank
@@ Property / OpenAlex ID @@
+W3134644061
@@ Property / OpenAlex ID: W3134644061 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2026376