Re: Synchronous languages

harcourt@eos.ncsu.edu (Ed Harcourt)
Wed, 16 Feb 1994 14:34:17 GMT

          From comp.compilers

Related articles
Synchronous languages mweissen@thomson.ensem.u-nancy.fr (1994-02-14)
Re: Synchronous languages pakin@green-hornet.cs.uiuc.edu (1994-02-15)
Synchronous languages Paul.LeGuernic@irisa.fr (1994-02-16)
Re: Synchronous languages harcourt@eos.ncsu.edu (1994-02-16)
Re: Synchronous languages Eric.Rutten@irisa.fr (1994-02-21)
Re: Synchronous languages Nicolas.Halbwachs@imag.fr (1994-02-22)
| List of all articles for this month |

Newsgroups: comp.compilers,comp.theory,comp.arch
From: harcourt@eos.ncsu.edu (Ed Harcourt)
Originator: harcourt@c00020-106dan.eos.ncsu.edu
Keywords: theory, bibliography
Organization: North Carolina State University, Project Eos
References: 94-02-086 94-02-091
Date: Wed, 16 Feb 1994 14:34:17 GMT

  > mweissen@thomson.ensem.u-nancy.fr (Michel WEISSENBACHER) writes:
  > I'm looking for articles and docs about synchronous languages ( Like Esterel
  > and Lustre ).


  Milner's SCCS (Synchronous Calculus of Communicating Systems) is relevant.


            @article {Milner83,
                  author = "Robin Milner",
                  title = "Calculi for Synchrony and Asynchrony",
                  journal = "Journal of Theoretical Computer Science",
                  year = 1983, volume = 25, pages = "267--310"}




  Also George Milne's CIRCAL (Circuit Calculus) is Synchronous.


            @article {Milne85,
                  author = "George Milne",
                  title = "{CIRCAL} and the Representation of Communication,
                                    Concurrency, and Time",
                  journal = "ACM Topics on Programming Languages and Systems"
                  year = 1985, month = apr, pages = "270--298", volume = 7, number = 2}


  --------------------------------------------------------


  Ed Harcourt (harcourt@eos.ncsu.edu)
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.