Pages that link to "Item:Q6104381"
From MaRDI portal
The following pages link to Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381):
Displaying 28 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Entailment-based actions for coordination (Q1127518) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- A Maude specification of an object-oriented model for telecommunication networks (Q1608922) (← links)
- Actor theories in rewriting logic (Q1608923) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q3998342) (← links)
- Towards Context-Based Concurrent Formal Theories (Q4598900) (← links)
- Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (Q4933283) (← links)
- Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding (Q4933286) (← links)
- (Q5020536) (← links)
- Priority rewriting: Semantics, confluence, and conditionals (Q5055727) (← links)
- (Q5155670) (← links)
- Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions (Q5170164) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Transforming concurrent programs with semaphores into logically constrained term rewrite systems (Q6671788) (← links)
