Pages that link to "Item:Q644331"

The following pages link to Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday (Q644331):

Displayed 9 items.

• The rewriting logic semantics project: a progress report (Q393080) ‎ (← links)
• A Maude environment for CafeOBJ (Q520244) ‎ (← links)
• Compositional schedulability analysis of real-time actor-based systems (Q530212) ‎ (← links)
• Regular expression order-sorted unification and matching (Q741252) ‎ (← links)
• Twenty years of rewriting logic (Q1931904) ‎ (← links)
• Explaining safety failures in NetKAT (Q2043810) ‎ (← links)
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) ‎ (← links)
• Metalevel transformation of strategies (Q2667189) ‎ (← links)
• The Maude strategy language (Q6113021) ‎ (← links)