Structuring conversation in operation/procedure oriented programming languages

Andrews, 1983, Concepts and notations for concurrent programming, ACM Comput. Surv., 15, 3, 10.1145/356901.356903 Randell, 1975, System structure for software fault tolerance, IEEE Trans. Softw. Engng, SE-1, 220, 10.1109/TSE.1975.6312842 Avižienis, 1984, Fault Tolerance by design diversity: concepts and experiments, 67 Bernstein, 1983, The failure and recovery problem for replicated databases, 114 Mancini, 1989, Replication within atomic Actions and Conversations: a case study, 454 Kim, 1982, Approaches to mechanization of the conversation scheme based on monitors, IEEE Trans. Softw. Engng., SE-8, 189, 10.1109/TSE.1982.235106 Gregory, 1985, A new linguistic approach to backward error recovery, 404 Gregory, 1989, On the provision of backward error recovery in production programming languages, 506 Gudes, 1990, Combined application/datafault recovery, 36 Strigini, 1991, Flexible schemes for application-level fault tolerance, 86 Booch, 1983 Gehani, 1988, Rendezvous Facilities: Concurrent C and Ada Language, IEEE Trans. Softw. Engng, SE-14, 11, 1546, 10.1109/32.9043 Clematis, 1988, Implementing Reliable Conversation in Concurrent Software Systems, 16, 47 Clematis, 1991, Software fault tolerance in Concurrent Ada programs, Microprocess. Microprogramm., 32, 365, 10.1016/0165-6074(91)90372-Z