Join-pattern

Join-patterns provides a way to write concurrent, parallel and distributed computer programs by message passing. Compared to the use of threads and…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

As more and more of our systems become reactive, and have to scale to ever-growing demands, it becomes clear that the…

2014

This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal…

2009

Join patterns are a powerful concurrency abstraction for coordinating multiple events. We extend join patterns with guards and…

2009

This technical report explores the idea of using an existing concurrent programming language and its associated tools for the…

2008

Parallelism is going mainstream and the demand for programs that scales well with parallelism will become ever more stronger…

2008

Concurrent programming in object-oriented languages is a notoriously difficult task. We propose coboxes --- a novel language…

2007

Until now the mainstream software development community has not had to deal with the challenges of concurrent or parallel…

2006

2000

This paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a…

1999

Dissertacao de Doutoramento em Ciencia de Computadores apresentada a Faculdade de Ciencias da Universidade do Porto