Non-deterministic data types: models and implementations
Acta Informatica
Algebraic implementations preserve program correctness
Science of Computer Programming
Specification of computer programs
Specification of computer programs
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Referential transparency, definiteness and unfoldability
Acta Informatica
Algebraic system specification and development
Algebraic system specification and development
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Structured specifications and implementation of nondeterministic data types
Nordic Journal of Computing
Abstraction Barriers in Equational Proof
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Hi-index | 0.00 |