On Representations of Abstract Systems with Partial Inputs and Outputs
From MaRDI portal
Publication:5410638
DOI10.1007/978-3-319-06089-7_8zbMath1405.68119OpenAlexW141834232MaRDI QIDQ5410638
Publication date: 16 April 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06089-7_8
Related Items (5)
Simple-named complex-valued nominative data -- definition and basic operations ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ Kleene algebra of partial predicates ⋮ On algebras of algorithms and specifications over uninterpreted data ⋮ On an algorithmic algebra over simple-named complex-valued nominative data
This page was built for publication: On Representations of Abstract Systems with Partial Inputs and Outputs