A Logical Encoding of Timed $$\pi $$-Calculus

DOI10.1007/978-3-319-14125-1_10zbMath1453.68113OpenAlexW607874744MaRDI QIDQ3453652

Neda Saeedloei

Publication date: 30 November 2015

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-14125-1_10

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• MMC

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• A theory of timed automata
• Timed $$\pi $$-Calculus
• Coinductive Constraint Logic Programming
• Proof search specifications of bisimulation and modal logics for the π-calculus
• Coinductive Logic Programming and Its Applications
• A proof theory for generic judgments
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Coinductive Logic Programming

This page was built for publication: A Logical Encoding of Timed $$\pi $$-Calculus