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 50 items.
- Deciding observational congruence of finite-state CCS expressions by rewriting (Q673974) (← links)
- Algebraic specification of agent computation (Q814896) (← links)
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- Formal analysis of Kerberos 5 (Q860899) (← links)
- A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties (Q860906) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Termination of just/fair computations in term rewriting (Q924727) (← links)
- Equational abstractions (Q944377) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← 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)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Behavioural specification for hierarchical object composition (Q2571203) (← links)