KRoC

KRoC, the Kent Retargetable occam Compiler, is an occam implementation that is based on the INMOS occam 2.1 compiler as a front-end and a…

Papers overview

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

2007

Model checking has been used in various domains, to enable automatic verification of properties for a given model. Especially in…

2007

This paper outlines oc-X, a multiprocessor communication harness for KROC (the portable occam compiler). oc-X is designed to…

2006

Complex Web services are very difficult to test and verify before deployment on a large scale. A semantically equivalent in…

2005

This paper describes an extension to the KRoC occam-π system that allows processes programmed in C to participate in occam…

2000

A simple post-mortem debugging facility has been added to KRoC [1], to identify and locate run-time errors, including deadlock…

2000

This paper describes an extension to Kent Retargetable occam Com- piler (1) (KRoC), which enables the execution of a blocking…

1999

This paper describes the addition of user-defined monadic and dyadic operators to occam* [1], together with some libraries that…

1998

The parameters of an occam PROC are passed in consecuti ve locations at the start of the occam workspace of the process making…

1997

Four new synchronisation primitives (SEMAPHOREs, RESOURCEs, EVENTs and BUCKETs) were introduced in the KRoC 0.8beta release of…

1996

This paper summarises the experiences gained at the Control Laboratory of the University of Twente in porting the Kent…