Semantics for a Distributed Programming Language Using SACS and Weakest Pre-Conditions

Rajan, Amala; Bavan, S.; Abeysinghe, Geetha

doi:10.1109/adcom.2006.4289931

Cited by 1 publication

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…R. Koymans proposed a denotational semantics for a real-time distributed language called Mini CSP-R in [7]. A formal semantics was developed for a distributed programming language named LIPS using Dijkstra's weakest preconditions [10] . Both of the works focus on the parallel execution of the processes but put little emphasis on the hierarchy.…”

Section: Introductionmentioning

confidence: 99%

A Denotational Semantics for Parameterised Networks of Synchronised Automata

Madelaine

2017

Unifying Theories of Programming

View full text Add to dashboard Cite

Parameterised Networks of Synchronised Automata (pNets) is a machine-oriented semantic formalism used for specifying and verifying the behaviour of distributed components or systems. In addition, it can be used to define the semantics of languages in the parallel and distributed computation area. Unlike other traditional process calculi, p-Nets only own one pNet node as an operator which composes all subnets running in parallel. Using this single synchronisation artifact, it is capable of expressing many operators or synchronisation mechanisms. In this paper, we explore a denotational semantics for parameterised networks. The denotational semantics of parameterised networks we investigate is based on the behaviours of their subnets. The behaviour of a subnet is determined by both its state and the actions it executes. Based on the traces of a set of subnets, the behaviour of a pNet consisting of those subnets can be deduced. A set of algebraic laws is also explored based on the denotational semantics.

show abstract

Section: Introductionmentioning

confidence: 99%

A Denotational Semantics for Parameterised Networks of Synchronised Automata

Madelaine

2017

Unifying Theories of Programming

View full text Add to dashboard Cite

show abstract

Semantics for a Distributed Programming Language Using SACS and Weakest Pre-Conditions

Cited by 1 publication

References 7 publications

A Denotational Semantics for Parameterised Networks of Synchronised Automata

A Denotational Semantics for Parameterised Networks of Synchronised Automata

Contact Info

Product

Resources

About