Reasoning about recursive processes:
نویسندگان
چکیده
منابع مشابه
Reasoning About Recursive Processes: Expansion is not Always Fair
When reasoning about parallel programs we would like to combine fixed-point laws for unrolling recursion with expansion laws for parallel composition. Algebraic manipulation using this combination is dangerous, because of the need to stay faithful to the assumption that parallel processes are executed fairly. We give an example of a finite-state parallel system in which the combination of fixed...
متن کاملReasoning about Continuous Processes
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain events. Such events are points in time at which the equations describing the system’s behavior—that is, the equations which specify the ongoing processes—change. Between two events the system’s parameters stay continuous...
متن کاملReasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the e ects of assignments in recursive data structures. We de ne an operational semantics for a core language based on Meyer's ideas for a semantics for the object-oriented language Ei el. A series of eld accesses, e.g. f1 • f2 • . . . • fn, can be seen as a path on the heap. We provide rules that describe how these multidot expressions are a ecte...
متن کاملReasoning about Higher-Order Processes
We address the speci cation and veri cation problem for process calculi such as Chocs, CML and Facile where processes or functions are transmissible values. Our work takes place in the context of a static treatment of restriction and of a bisimulation-based semantics. As a paradigmatic and simple case we concentrate on (Plain) Chocs. We show that Chocs bisimulation can be characterized by an ex...
متن کاملQualitative Reasoning about Physical Processes
Common sense reasoning about the physical world must include an understanding of physical processes and the changes they cause. For example, heating a liquid causes its temperature to rise and if continued long enough may cause it to boil. A style of analysis is presented that combines deKleer's Incremental Qualitative analysis wjth the Quantity Space idea from Naive Physics to reason about the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80074-4