Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Backus, J.: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM 21, 613–641 (1978)
2. Lecture Notes in Computer Science;D.F. Brown,1992
3. Brown, D.F., Watt, D.A.: JAS: a Java action semantics. In: [23], pp. 43–56
4. Christensen, S., Olsen, M.H.: Action semantics of CCS and CSP, Report DAIMI IR-44, Computer Science Department, Aarhus University (1988)
5. Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules, BRICS Report Series RS-03-53, Computer Science Department, Aarhus University (2003)