论文信息 - The ESTEREL synchronous programming language - 字舞流文

The ESTEREL synchronous programming language

BerryGérard | GonthierGeorges

[1] Janusz A. Brzozowski,et al. Derivatives of Regular Expressions , 1964, JACM.

[2] Albert Benveniste,et al. Signal-A data flow-oriented language for signal processing , 1986, IEEE Trans. Acoust. Speech Signal Process..

[3] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[4] Murray Hill,et al. Yacc: Yet Another Compiler-Compiler , 1978 .

[5] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[6] Gilles Kahn,et al. Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[7] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[8] A. Prasad Sistla,et al. Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach , 1983, POPL '83.

[9] Gérard Berry,et al. From Regular Expressions to Deterministic Automata , 1986, Theor. Comput. Sci..

[10] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.

[11] Ilaria Castellani,et al. On the Semantics of Concurrency: Partial Orders and Transition Systems , 1987, TAPSOFT, Vol.1.

[12] David B. MacQueen. Modules for standard ML , 1984, LFP '84.