Cartesian difference categories

DOI10.1007/978-3-030-45231-5_4OpenAlexW3016584233MaRDI QIDQ2200813

Jean-Simon Pacaud Lemay, Mario Alvarez-Picallo

Publication date: 23 September 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-45231-5_4

zbMATH Keywords

Cartesian differential categoriescalculus of finite differencesstream calculusCartesian difference categorieschange actions

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (2)

Coherent differentiation ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Confluence for process verification
• Results on the propositional \(\mu\)-calculus
• Propositional dynamic logic of regular programs
• Weak confluence and \(\tau\)-inertness
• Selective mu-calculus and formula-based equivalence of transition systems
• Compositional verification of asynchronous concurrent systems using CADP
• Next-preserving branching bisimulation
• Nested-unit Petri nets
• Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
• Branching Bisimilarity with Explicit Divergence
• Computation Tree Logic with Deadlock Detection
• Propositional dynamic logic of looping and converse is elementarily decidable
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A Theory of Communicating Sequential Processes
• Three logics for branching bisimulation
• Branching time and abstraction in bisimulation semantics
• An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

This page was built for publication: Cartesian difference categories