Result: Nondeterministic computations -- structure and axioms
Title:
Nondeterministic computations -- structure and axioms
Authors:
Publisher Information:
Akademie-Verlag, Berlin
Subject Terms:
nondeterminism, Specification and verification (program logics, model checking, etc.), Parallel computations, operational semantics, Parallelism, nondeterministic computations, axiomatization, recursive program scheme, Computability and recursion theory on ordinals, admissible sets, etc, nondeterministic semantics
Document Type:
Academic journal
Article
File Description:
application/xml
Access URL:
Accession Number:
edsair.c2b0b933574d..b7a557b679f14e5b3e5b56141167fb7f
Database:
OpenAIRE
Further Information
The approach is based on computation histories using an equivalence relation on computations by means of an operation ``difference''. It is proved that each class can be characterized by a unique normal form. An abstract axiomatization of operational semantics is also given. Parallelism versus nondeterminism is characterized by the difference- notion p-q. Parallel computations can be carried out as one computation process. While in nondeterminism this is not always possible.