Pages that link to "Item:Q1190488"
From MaRDI portal
The following pages link to Conditional rewriting logic as a unified model of concurrency (Q1190488):
Displaying 50 items.
- 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)
- Twenty years of rewriting logic (Q1931904) (← links)
- Declarative debugging of rewriting logic specifications (Q1931907) (← links)
- Rewriting semantics of production rule sets (Q1931912) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- Elimination of conditions (Q1974693) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Travelling salesman problem in tissue P systems with costs (Q1983010) (← links)
- A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting (Q1998863) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Transactions and contracts based on reaction systems (Q2044946) (← links)
- Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Capturing constrained constructor patterns in matching logic (Q2096417) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Parameterized strategies specification in Maude (Q2185882) (← links)
- Efficient safety enforcement for Maude programs via program specialization in the \textsf{ÁTAME} system (Q2209262) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude (Q2239276) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Formal verification of complex business processes based on high-level Petri nets (Q2292988) (← links)
- Confluence by critical pair analysis revisited (Q2305423) (← links)
- Composing proof terms (Q2305425) (← links)
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis (Q2335948) (← links)
