Communicating sequential processes
Communicating sequential processes
A theory for nondeterminism, parallelism, communication, and concurrency
Theoretical Computer Science
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Z notation: a reference manual
The Z notation: a reference manual
Communication and concurrency
Specifications are not (necessarily) executable
Software Engineering Journal
Programming in Martin-Lo¨f's type theory: an introduction
Programming in Martin-Lo¨f's type theory: an introduction
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Type theory and functional programming
Type theory and functional programming
Formal methods—mathematics, theory, recipes or what?
The Computer Journal - Special issue on formal methods: part 1
Non-determinism in functional languages
The Computer Journal - Special issue on formal methods: part 1
Encoding Z-style schemas in type theory
TYPES '93 Proceedings of the international workshop on Types for proofs and programs
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Non-deterministic expressions and predicate transformers
Information Processing Letters
Singular and Plural Nondeterministic Parameters
SIAM Journal on Computing
A Filter Model for Concurrent $\lambda$-Calculus
SIAM Journal on Computing
Journal of the ACM (JACM)
Communications of the ACM
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
A Discipline of Programming
Structured specifications and implementation of nondeterministic data types
Nordic Journal of Computing
A Unifying Theory of Dependent Types: The Schematic Approach
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Nondeterminism in Abstract Data Types
Proceedings of the 8th Colloquium on Automata, Languages and Programming
A Logic for the Schema Calculus
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Structured programming
Interpreting nondeterminism in the refinement calculus
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Nondeterminism in Constructive Z
Fundamenta Informaticae
Constructive development of probabilistic programs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Nondeterminism in Constructive Z
Fundamenta Informaticae
| Hi-index | 0.00 |
Due to the high level of abstraction involved in formal specification of software systems, nondeterminism comes as an inevitable part of formal specifications. Therefore, support for nondeterminism should be provisioned in developing programs from their formal specifications. In this paper, an existing translation of CZ set theory into Martin-Lof's theory of types is extended to consider nondeterministic specifications in CZ language.