Consistent Graphical Specification of Distributed Systems
暂无分享,去创建一个
[1] David Michael Ritchie Park. Finiteness is Mu-Ineffable , 1976, Theor. Comput. Sci..
[2] Manfred Broy,et al. The Design of Distributed Systems - An Introduction to FOCUS-revised version , 1992 .
[3] Franz Regensburger,et al. HOLCF: Higher Order Logic of Computable Functions , 1995, TPHOLs.
[4] Michael Mendler,et al. A Functional Semantics for Delta-Delay VHDL Based on Focus , 1995 .
[5] Bernhard Schätz,et al. AutoFocus: A Tool for Distributed Systems Specification , 1996, FTRTFT.
[6] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[7] Manfred Broy,et al. State Transition Diagrams , 1996 .
[8] Manfred Broy,et al. Graphical Development of Consistent System Specifications , 1996, FME.
[9] Robert Sandner,et al. Theorem Prover Support for the Refinement of Stream Processing Functions , 1997, TACAS.