A faithful embedding of parallel computations in star-finite models

DOI10.1007/BF00370551zbMath0684.68040MaRDI QIDQ1825641

E. J. Farkas

Publication date: 1989

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

computations of parallel programsnon-deterministic computations

Mathematics Subject Classification ID

Theory of operating systems (68N25) Nonstandard models (03H99)

Cites Work

• On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
• Programs and program verifications in a general setting
• A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION
• A probabilistic analysis of loop programs
• Termination of Probabilistic Concurrent Program
• Unnamed Item
• Unnamed Item

This page was built for publication: A faithful embedding of parallel computations in star-finite models