Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
From MaRDI portal
Publication:644331
DOI10.1007/978-3-642-24933-4zbMath1225.68006OpenAlexW2288387563MaRDI QIDQ644331
No author found.
Publication date: 3 November 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24933-4
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to biology (92-06)
Related Items (9)
Metalevel transformation of strategies ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ The Maude strategy language ⋮ A Maude environment for CafeOBJ ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Explaining safety failures in NetKAT ⋮ Regular expression order-sorted unification and matching ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
This page was built for publication: Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
