PiLib: A Hosted Language for Pi-Calculus Style Concurrency

Cremet, Vincent; Odersky, Martin

doi:10.1007/978-3-540-25935-0_11

Search citation statements

Order By: Relevance

Paper Sections

Select...

Methods1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2006

2015

Publication Types

Select...

Book4

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 21 publications

(14 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This is accomplished through our implemented extension of Scala's PiLib library [3] which allows a direct translation of π-calculus terms into Scala code.…”

Section: Methodsmentioning

confidence: 99%

Modelling and Implementation of Correct by Construction Healthcare Workflows

Papapanagiotou

Fleuriot

2015

Business Process Management Workshops

View full text Add to dashboard Cite

Abstract. We present a rigorous methodology for the modelling and implementation of correct by construction healthcare workflows. It relies on the theoretical concept of proofs-as-processes that draws a connection between logical proofs and process workflows. Based on this, our methodology offers an increased level of trust through mathematical guarantees of correctness for the constructed workflows, including type correctness, systematic resource management, and deadlock and livelock freedom. Workflows are modelled as compositions of abstract processes and can be deployed as executable code automatically. We demonstrate the benefits of our approach through a prototype system involving workflows for assignment and delegation of clinical services while tracking responsibility and accountability explicitly.

show abstract

“…This is accomplished through our implemented extension of Scala's PiLib library [3] which allows a direct translation of π-calculus terms into Scala code.…”

Section: Methodsmentioning

confidence: 99%