|
|
| (6 intermediate revisions by 3 users not shown) |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: OBJ3 / rank |
| | | Normal rank |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: CafeOBJ / rank |
| | | Normal rank |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: Maude / rank |
| | | Normal rank |
| Property / describes a project that uses |
| | | |
| Property / describes a project that uses: CoCasl / rank |
| | | Normal rank |
| Property / MaRDI profile type |
| | | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | | Normal rank |
| Property / full work available at URL |
| | | |
| Property / full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.027 / rank |
| | | Normal rank |
| Property / OpenAlex ID |
| | | |
| Property / OpenAlex ID: W2120272424 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Module algebra / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Equational specifications, complete term rewriting systems, and computable and semicomputable algebras / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Observational specifications and the indistinguishability assumption / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4537506 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Behavioural theories and the proof of behavioural properties / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Modular correctness proofs of behavioural implementations / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4499312 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4256316 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Recent trends in algebraic development techniques. 13th international workshop, WADT '98, Lisbon, Portugal, April 2--4, 1998. Proceedings / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Maude: specification and programming in rewriting logic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222853 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4256315 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2715825 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4520814 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4105777 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3975038 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Institutions: abstract model theory for specification and programming / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4942101 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2703688 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Hidden coinduction: behavioural correctness proofs for objects / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: A hidden agenda / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3956373 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4493908 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Institution morphisms / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Structured operational semantics and bisimulation as a congruence / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Context induction: A proof principle for behavioural abstractions and algebraic implementations / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Constructor-based observational logic / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4355684 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4222950 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Bisimulation and Hidden Algebra / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3687683 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Recent Trends in Algebraic Development Techniques / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Swinging types=functions+relations+transition systems / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q3938468 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4725725 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Equational axiomatizability for coalgebra / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Automated deduction in classical and non-classical logics. Selected papers / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q2709810 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: On observational equivalence and algebraic specification / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Q4499302 / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Coalgebras for Binary Methods: Properties of Bisimulations and Invariants / rank |
| | | Normal rank |
| Property / cites work |
| | | |
| Property / cites work: Greatest Bisimulations for Binary Methods / rank |
| | | Normal rank |
