Samson Abramsky and Steve Vickers. Quantales, observational logic, and process semantics. Technical report, Imperial College, January 1990. 27  Home/Search   Document Not in Database   Summary   Related Articles   Check

....in [75] In that paper, the authors show how to give denotational semantics to languages specified by transition system specifications in full tyft tyxt format [36] and investigate in a categorical perspective the essential properties of semantic domains that make their definitions possible. In [3], various notions of process observations are considered in a uniform algebraic framework provided by the theory of quantales (see, e.g. 71] The methods developed by Abramsky and Vickers in [3] yield, in a uniform fashion, observational logics and denotational models for each notion of process ....

....perspective the essential properties of semantic domains that make their definitions possible. In [3] various notions of process observations are considered in a uniform algebraic framework provided by the theory of quantales (see, e.g. 71] The methods developed by Abramsky and Vickers in [3] yield, in a uniform fashion, observational logics and denotational models for each notion of process observation they consider. Their work is, however, semantic in nature, and ignores the algebraic structure of process expressions. In the area of the semantics of functional programs, ....

S. Abramsky and S. Vickers, Quantales, observational logic, and process semantics, Report DOC 90/1, Department of Computing, Imperial College,

....This indeed happens when we take specifications to be sets of processes, and then the logic of specifications is linear. Our work may yield some evidence for the relevance of linear logic to concurrency. Other evidence can be found in work on Petri Nets (e.g. MOM89] and testing equivalence [AV90]. We introduce our logics in the following overview. Sections 3, 4, and 5 give formal definitions and develop the material further.The reader may wish to consult [DP91, Joh82, Ros90] for information on partial orders, cpos (complete partial orders) complete Heyting algebras, and quantales. 2 ....

Samson Abramsky and Steve Vickers. Quantales, observational logic, and process semantics. Technical report, Imperial College, January 1990. 27

....This indeed happens when we take specifications to be sets of processes, and then the logic of specifications is linear. Our work may yield some evidence for the relevance of linear logic to concurrency. Other evidence can be found in work on Petri Nets (e.g. MOM89] and testing equivalence [AV90]. We introduce our logics in the following overview. Sections 3, 4, and 5 give formal definitions and develop the material further. The usual intuitionistic and linear logics need to be enriched in order to support the assumption guarantee specification style. And they need to be enriched again, ....

Samson Abramsky and Steve Vickers. Quantales, observational logic, and process semantics. Technical report, Imperial College, January 1990.

....This indeed happens when we take specifications to be sets of processes, and then the logic of specifications is linear. Our work may yield some evidence for the relevance of linear logic to concurrency. Other evidence can be found in work on Petri Nets (e.g. 22] and testing equivalence [5]. We introduce our logics in Section 2. In Section 3 we develop the intuitionistic logic of safety properties of behaviors, treating also invariance under stuttering. In Section 4 we develop the intuitionistic linear logic of safety properties of processes. As well as the natural logical ....

Samson Abramsky and Steve Vickers. Quantales, observational logic, and process semantics. Technical report, Imperial College, January 1990.

....d) a; c; d; d c; d This sequent is provable in linear logic if and only if there is a sequence of Petri net rule applications that transform the token set fa; c; d; dg to fc; dg. This connection has been well studied [5, 14, 30, 6, 9] and extended to cover other models of concurrency [22, 2, 35]. Linear logic has also been applied to several other areas of computer science. One key application of the resource sensitive aspect of the logic was the development of a functional programming language implementation in which garbage collection was replaced by explicit duplication operations ....

S. Abramsky and S. Vickers. Quantales, observational logic, and process semantics. Preprint, January 1990.

.... functional programming language implementation in which garbage collection was replaced by explicit duplication operations based on linear logic Introduction 5 [Laf88] Further studies have demonstrated connections with Petri nets [Asp87, GG89, MOM89, AFG90, GG90] and other models of concurrency [Laf90, AV90]. With regard to concurrency, there is a similarity between proof nets, the inherent model of computation associated with cut elimination in multiplicative linear logic (cf [Gir87a, Gir87b, DR89, Laf90] and connection graphs, which were designed to model connection machine computation [Baw86] ....

S. Abramsky and S. Vickers. Quantales, observational logic, and process semantics. Preprint, January 1990.

.... of the logic was the implementation of a functional programming language in which garbage collection was replaced by explicit duplication operations based on linear logic [25] Further studies have demonstrated connections with Petri nets [3, 20, 30, 4, 12, 10] and other models of concurrency [26, 1]. With regard to concurrency, there is a similarity between proof nets, the inherent model of computation associated with cut elimination in multiplicative linear logic (c.f. 14, 15, 9, 26] and connection graphs, which were designed to model connection machine computation [5] Other ....

S. Abramsky and S. Vickers. Quantales, observational logic, and process semantics. Preprint, January 1990.

No context found.

Samson Abramsky and Steve Vickers. Quantales, observational logic, and process semantics. Technical report, Imperial College, January 1990. 27

No context found.

S. Abramsky and S. Vickers. Quantales, observational logic, and process semantics. Preprint, January 1990.

No context found.

S. Abramsky and S. Vickers. Quantales, observational logic, and process semantics. Preprint, January 1990.

No context found.

S. Abramsky and S. Vickers. Quantales, observational logic, and process semantics. Preprint, January 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC