TCC, with History

DOI10.1007/978-3-319-06880-0_24zbMath1408.68038arXiv1310.5538OpenAlexW1569816615MaRDI QIDQ5418978

Radha Jagadeesan, Vineet Gupta, Vijay Saraswat

Publication date: 2 June 2014

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

Full work available at URL: https://arxiv.org/abs/1310.5538

zbMATH Keywords

concurrent constraint programmingcomplex event processingsynchronous programmingHCCRCCTCC

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SIGNAL
• LUSTRE
• Esterel
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metrics for labelled Markov processes
• Timed default concurrent constraint programming
• Statecharts: a visual formalism for complex systems
• A logic for default reasoning
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• The Esterel synchronous programming language: Design, semantics, implementation
• Computing with continuous change
• Approximating labelled Markov processes
• Truly concurrent constraint programming
• Decidability of infinite-state timed CCP processes and first-order LTL
• Abstract diagnosis for timed concurrent constraint programs
• Focusing and Polarization in Intuitionistic Logic
• Logic Programming with Focusing Proofs in Linear Logic
• Approximate reasoning for real-time probabilistic processes
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science