A Decision Procedure for Bisimilarity of Generalized Regular Expressions (Q2999323): Difference between revisions

@@ Property / author @@
-Q265783
@@ Property / author: Q265783 / rank @@
-Normal rank
@@ Property / author @@
+Jan J. M. M. Rutten
@@ Property / author: Jan J. M. M. Rutten / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CIRC
@@ Property / describes a project that uses: CIRC / 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/978-3-642-19829-8_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1753290412
@@ Property / OpenAlex ID: W1753290412 / rank @@
+Normal rank
@@ Property / cites work @@
+A Kleene Theorem for Polynomial Coalgebras
@@ Property / cites work: A Kleene Theorem for Polynomial Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q2703688
@@ Property / cites work: Q2703688 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q2762494
@@ Property / cites work: Q2762494 / rank @@
+Normal rank
@@ Property / cites work @@
+CIRC: A Behavioral Verification Tool Based on Circular Coinduction
+Normal rank
@@ Property / cites work @@
+Circular Coinduction: A Proof Theoretical Foundation
+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 @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Non-Deterministic Kleene Coalgebras
@@ Property / cites work: Non-Deterministic Kleene Coalgebras / rank @@
+Normal rank