The SL synchronous language, revisited
type: Item
instance of: scholarly article
title: The SL synchronous language, revisited
zbMATH Open document ID: 1106.68016
author: Roberto M. Amadio
published in: The Journal of Logic and Algebraic Programming
publication date: 2007-02-09T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5123660
zbMATH Keywords: synchronous programming
zbMATH Keywords: determinism
zbMATH Keywords: reactivity
zbMATH Keywords: CPS translation
zbMATH Keywords: expressivity
zbMATH Keywords: bisimulation
describes a project that uses: ULM
describes a project that uses: Esterel
MaRDI profile type: Publication
full work available at URL: j.jlap.2006.08.001
OpenAlex ID: W2027494464
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: CONCUR 2004 - Concurrency Theory
cites work: Feasible reactivity for synchronous cooperative threads
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Programming Languages and Systems
cites work: Q4219054
cites work: Bisimulations for a calculus of broadcasting systems
cites work: On reduction-based process semantics
cites work: Q4054644
cites work: Q3992568
cites work: Barbed bisimulation
DOI: 10.1016/J.JLAP.2006.08.001
description: scientific article; zbMATH DE number 5123660