Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
DOI10.1007/978-3-642-24933-4zbMATH Open1225.68006OpenAlexW2288387563MaRDI QIDQ644331FDOQ644331
Author name not available (Why is that?)
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
Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to biology (92-06)
Cited In (9)
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- Explaining safety failures in NetKAT
- Compositional schedulability analysis of real-time actor-based systems
- Regular expression order-sorted unification and matching
- Metalevel transformation of strategies
- The Maude strategy language
- A Maude environment for CafeOBJ
- 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q644331)
