论文信息 - Specification of Interactions in Integrated Manufacturing Systems - 字舞流文

Specification of Interactions in Integrated Manufacturing Systems

David W. Flater | D. Flater

[1] Richard N. Taylor,et al. A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[2] Raj Srinivasan,et al. RPC: Remote Procedure Call Protocol Specification Version 2 , 1995, RFC.

[3] Dan Craigen,et al. Formal Methods Reality Check: Industrial Usage , 1993, IEEE Trans. Software Eng..

[4] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5] Stephen D. Brookes,et al. On the Relationship of CCS and CSP , 1983, ICALP.

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

[7] Peter P. Chen. The entity-relationship model—toward a unified view of data , 2011, TODS.