Transformational design and implementation of a new efficient solution to the ready simulation problem
Open Access
- 1 June 1995
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 24 (3) , 189-220
- https://doi.org/10.1016/0167-6423(95)00003-b
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- Program derivation by fixed point computationScience of Computer Programming, 1989
- Mechanical translation of set theoretic problem specifications into efficient RAM code-A case studyJournal of Symbolic Computation, 1987
- Testing equivalences for processesTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- The Science of ProgrammingScience of Computer Programming, 1982
- Constructive versions of Tarski’s fixed point theoremsPacific Journal of Mathematics, 1979
- Universal classes of hash functionsJournal of Computer and System Sciences, 1979
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955