Generating symbolic traces in the insertion modeling system (Q895075): Difference between revisions

@@ Property / author @@
-Alexander Letichevsky
@@ Property / author: Alexander Letichevsky / rank @@
-Normal rank
@@ Property / author @@
-A. A. jun. Letichevskii
@@ Property / author: A. A. jun. Letichevskii / rank @@
-Normal rank
@@ Property / author @@
+Alexander Letichevsky
@@ Property / author: Alexander Letichevsky / rank @@
+Normal rank
@@ Property / author @@
+A. A. jun. Letichevskii
@@ Property / author: A. A. jun. Letichevskii / 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/s10559-015-9691-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1992580076
@@ Property / OpenAlex ID: W1992580076 / rank @@
+Normal rank
@@ Property / cites work @@
+A general theory of action languages
@@ Property / cites work: A general theory of action languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2722032
@@ Property / cites work: Q2722032 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906944
@@ Property / cites work: Q2906944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3365842
@@ Property / cites work: Q3365842 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems specification by basic protocols
@@ Property / cites work: Systems specification by basic protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Basic protocols, message sequence charts, and the verification of requirements specifications
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:895075