Pages that link to "Item:Q1190488"
From MaRDI portal
The following pages link to Conditional rewriting logic as a unified model of concurrency (Q1190488):
Displayed 39 items.
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- Theorem proving in a mathematical information environment (Q1288657) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Verifying a distributed list system: A case history (Q1355754) (← links)
- Parallel dynamic semantics of sequential programs with speculative and incremental computation (Q1364092) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- A hidden agenda (Q1575735) (← links)
- Actor languages. Their syntax, semantics, translation, and equivalence (Q1575845) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← 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)
- Equational rules for rewriting logic (Q1608925) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Relaxed models for rewriting logic (Q1853590) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Elimination of conditions (Q1974693) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)
- (Q2703692) (← links)
- (Q4222853) (← links)
- (Q4222858) (← links)
- (Q4222859) (← links)
- (Q4222979) (← links)
- (Q4499161) (← links)
- Axiomatizing permutation equivalence (Q4715673) (← links)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus (Q4876370) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)