Completeness of Conversion between Reactive Programs for Ultrametric Models
From MaRDI portal
Publication:5300904
DOI10.1007/978-3-642-38946-7_17zbMATH Open1381.68037OpenAlexW2145339776MaRDI QIDQ5300904FDOQ5300904
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
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)
