scientific article
From MaRDI portal
Publication:3766854
zbMath0629.68052MaRDI QIDQ3766854
Phan Minh Dung, Peter Bachmann
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsnondeterminismaxiomatizationnondeterministic semanticsParallel computationsParallelismrecursive program schemenondeterministic computations
Specification and verification (program logics, model checking, etc.) (68Q60) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (4)
Labelled domains and automata with concurrency ⋮ From domains to automata with concurrency ⋮ A kleene theorem for recognizable languages over concurrency monoids ⋮ Recognizable languages in concurrency monoids
This page was built for publication:
