Completeness of Conversion between Reactive Programs for Ultrametric Models

DOI10.1007/978-3-642-38946-7_17MaRDI QIDQ5300904zbMATH OpenOpenAlexFDO

Authors Fer-Jan De Vries, Paula Severi

Publication date 28 June 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38946-7_17

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Verification and synthesis of reactive programs
• scientific article; zbMATH DE number 408816
• scientific article; zbMATH DE number 5021521
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Model checking and functional program transformations
• scientific article; zbMATH DE number 2090525
• scientific article; zbMATH DE number 1701353
• Bounded synthesis of reactive programs
• A Completion Method to Decide Reachability in Rewrite Systems
• Consistency and Completeness of Rewriting in the Calculus of Constructions

This page was built for publication: Completeness of Conversion between Reactive Programs for Ultrametric Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300904)