Pages that link to "Item:Q4873985"
From MaRDI portal
The following pages link to Evolving Algebras 1993: Lipari Guide (Q4873985):
Displaying 50 items.
- Reactive computing as model generation (Q264957) (← links)
- Concurrent abstract state machines (Q303691) (← links)
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- Systems analysis of life cycle of large-scale information-control systems (Q386928) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Formal description and analysis of a distributed location service for mobile ad hoc networks (Q555783) (← links)
- Partial updates (Q555785) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Information systems in modeling interactive computations on granules (Q642541) (← links)
- Composing model programs for analysis (Q710670) (← links)
- Interactive information systems: toward perception based computing (Q714829) (← links)
- Operational ontological approach to formal programming language specification (Q840084) (← links)
- In some curved spaces, one can solve NP-hard problems in polynomial time (Q843612) (← links)
- Can abstract state machines be useful in language theory? (Q880169) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- The computable kernel of abstract state machines (Q959826) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Metafinite model theory (Q1383163) (← links)
- Equivalence is in the eye of the beholder (Q1391750) (← links)
- \(\Delta\)-languages for sets and LOGSPACE computable graph transformers (Q1392148) (← links)
- Verification of relational transducers for electronic commerce (Q1394796) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- Proving properties of the Chord protocol using the ASM formalism (Q1757159) (← links)
- A type system for static and dynamic checking of C++ pointers (Q1767975) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- Axioms for strict and lazy functional programs (Q1772783) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Semantic splitting of conditional belief bases (Q2117582) (← links)
- Communities and ancestors associated with Egon Börger and ASM (Q2117583) (← links)
- What is the natural abstraction level of an algorithm? (Q2117593) (← links)
- The ASMETA approach to safety assurance of software systems (Q2117597) (← links)
- Computation on structures. Behavioural theory, logic, complexity (Q2117601) (← links)
- Stratified guarded first-order transition systems (Q2233528) (← links)
- Atomic actions, and their refinements to isolated protocols (Q2268472) (← links)
- Database query processing using finite cursor machines (Q2272221) (← links)
- Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
- Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs (Q2478545) (← links)
- Decidable properties for monadic abstract state machines (Q2498914) (← links)
- A guarded fragment for abstract state machines (Q2567346) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- Execution trace sets for real computation (Q2699944) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method (Q3223998) (← links)
