Skip to main content
Menu
Filter Results
Search all journals
Enter search terms…
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (5)
Journals (0)
Save Search
1-5 of 5
results for
semantics of nondeterministic program
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: On Connections Between Parallel Programs and Nondeterministic Sequential Programs
Restricted access
Research article
First published 1983
On Connections Between Parallel Programs and Nondeterministic Sequential Programs
Zenon Sadowski
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: Infinite Unfolding and Transformations of Nondeterministic Programs
Restricted access
Research article
First published July, 2005
Infinite Unfolding and Transformations of Nondeterministic Programs
Bjórn Lisper
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: Hoare-Style Verification of Graph Programs
Restricted access
Research article
First published August, 2012
Hoare-Style Verification of Graph Programs
Christopher M. Poskitt,
Detlef Plump
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving
Restricted access
Research article
First published November, 2005
The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving
Mark-Oliver Stehr
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving
Restricted access
Research article
First published October, 2005
The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving
Mark-Oliver Stehr
Fundamenta Informaticae
Preview Abstract
Get Access
1
10 / page
