Pages that link to "Item:Q1772776"

The following pages link to Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776):

Displaying 22 items.

• Ambient abstract state machines with applications (Q439957) (← links)
• A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
• Can abstract state machines be useful in language theory? (Q880169) (← links)
• The computable kernel of abstract state machines (Q959826) (← links)
• Abstract state machines 2003. Advances in theory and practice. 10th international workshop, ASM 2003, Taormina, Italy, March 3--7, 2003. Proceedings (Q1396941) (← links)
• Abstract state machines and computationally complete query languages (Q1854519) (← links)
• Moded and continuous abstract state machines (Q2115900) (← links)
• Some thoughts on computational models: from massive human computing to abstract state machines, and beyond (Q2117588) (← links)
• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
• Work-sensitive dynamic complexity of formal languages (Q2233429) (← links)
• A guarded fragment for abstract state machines (Q2567346) (← links)
• (Q2753700) (← links)
• A Module System for Domain-Specific Languages (Q2931279) (← links)
• Programs=data=first-class citizens in a computational world (Q2941589) (← links)
• Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity (Q3745319) (← links)
• Abstract State Machines (Q4429922) (← links)
• (Q4680195) (← links)
• Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems (Q5045457) (← links)
• Unifying models (Q5047155) (← links)
• (Q5294162) (← links)
• The Spotlight Principle (Q5452606) (← links)
• Foundations of Information and Knowledge Systems (Q5901857) (← links)