CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2005.11.007
@@ Property / DOI: 10.1016/j.tcs.2005.11.007 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CSP-prover
@@ Property / describes a project that uses: CSP-prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoCasl
@@ Property / describes a project that uses: CoCasl / 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.tcs.2005.11.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2141730280
@@ Property / OpenAlex ID: W2141730280 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+The connection between an event structure semantics and an operational semantics for TCSP
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the methodology of CCS and CSP
@@ Property / cites work: Notes on the methodology of CCS and CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q2729074
@@ Property / cites work: Q2729074 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+Q2767179
@@ Property / cites work: Q2767179 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2005.11.007
@@ Property / DOI: 10.1016/J.TCS.2005.11.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2368940