Computer Science – Logic in Computer Science
Scientific paper
2006-06-05
Journal of Information and Computation 205, 9 (2007) 1470-1490
Computer Science
Logic in Computer Science
Scientific paper
The SL synchronous programming model is a relaxation of the Esterel synchronous model where the reaction to the absence of a signal within an instant can only happen at the next instant. In previous work, we have revisited the SL synchronous programming model. In particular, we have discussed an alternative design of the model including thread spawning and recursive definitions, introduced a CPS translation to a tail recursive form, and proposed a notion of bisimulation equivalence. In the present work, we extend the tail recursive model with first-order data types obtaining a non-deterministic synchronous model whose complexity is comparable to the one of the pi-calculus. We show that our approach to bisimulation equivalence can cope with this extension and in particular that labelled bisimulation can be characterised as a contextual bisimulation.
No associations
LandOfFree
A synchronous pi-calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A synchronous pi-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A synchronous pi-calculus will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-542021