An Overview and Synthesis on Timed Process Algebras
No abstract available.
Related papers
- Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper) VMCAI 2021
- Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis OOPSLA 2025
- Type-and-example-directed program synthesis PLDI 2015
- Verifying Formal Specifications of Synchronous Processes POPL 1976
- Automated Analysis of AODV Using UPPAAL TACAS 2012
- An overview of Medusa: simplified graph processing on GPUs PPoPP 2012
- Editing by Example TOPLAS 1985
- Program generation for small-scale linear algebra applications CGO 2018