ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Communicating sequential processes
Full text PdfPdf (1.19 MB)
Source
Communications of the ACM archive
Volume 21 ,  Issue 8  (August 1978) table of contents
Pages: 666 - 677  
Year of Publication: 1978
ISSN:0001-0782
Author
C. A. R. Hoare  The Queen's Univ., Belfast, Northern Ireland, UK
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 84,   Downloads (12 Months): 661,   Citation Count: 699
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/359576.359585
What is a DOI?

ABSTRACT

This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of a familiar programming exercises.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
Atkinson, R., and Hewitt, C. Synchronisation in actor systems. Working Paper 83, M.I.T., Cambridge, Mass., Nov. 1976.
 
2
Brinch Hansen, P. The programming language Concurrent Pascal. IEEE Trans. Software Eng. 1, 2 (June 1975), 199-207.
 
3
Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
4
Melvin E. Conway, Design of a separable transition-diagram compiler, Communications of the ACM, v.6 n.7, p.396-408, July 1963  [doi>10.1145/366663.366704]
 
5
Ole-Johan Dahl, SIMULA 67 common base language, (Norwegian Computing Center. Publication), 1968
 
6
Dijkstra, E.W. Co-operating sequential processes. In Programming Languages, F. Genuys, Ed., Academic Press, New York, 1968, pp. 43-112.
 
7
Dijkstra, E.W. Notes on structured programming. In Structured Programming, Academic Press, New York 1972, pp. 1-82.
8
Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975  [doi>10.1145/360933.360975]
 
9
Dijkstra, E.W. Verbal communication, Marktoberdorf, Aug. 1975.
 
10
Hoare, C.A.R. Towards a theory of parallel programming. In Operating Systems Techniques, Academic Press, New York, 1972, pp. 61-71.
 
11
Hoare, C.A.R. Proof of correctness of data representations..4cta Informatica 1, 4 (1972), 271-281.
 
12
Kahn, G. The semantics of a simple language for parallel programming. In Proc. IFIP Congress 74, North Holland, 1974.
 
13
Liskov, B.H. A note on CLU. Computation Structures Group Memo. 112, M.I.T., Cambridge, Mass, 1974.
 
14
Mcllroy, M.D. Coroutines. Bell Laboratories, Murray Hill, N.J., 1968.
15
Peter Naur , J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger, Report on the algorithmic language ALGOL 60, Communications of the ACM, v.3 n.5, p.299-314, May 1960  [doi>10.1145/367236.367262]
 
16
Reynolds, J.C. COGENT. ANL-7022, Argonne Nat. Lab., Argonne, II1., 1965.
 
17
Thompson, K. The UNIX command language. In Structured Programming, Infotech, Nicholson House, Maidenhead. England, 1976, pp. 375-384.
 
18
van Wijngaarden, A. Ed. Report on the algorithmic language ALGOL 68. Numer. Math. 14 (1969), 79-218.
 
19
Wulf, W.A., London, R.L., and Shaw, M. Abstraction and verification in ALPHARD. Dept. of Comptr. Sci., Carnegie-MeUon U., Pittsburgh, Pa., June 1976.
 
20
Wirth, N. The programming language PASCAL. Acta Informatica 1, 1 (1971), 35-63.

CITED BY  699
Rogier M. Van Eijk , Frank S. De Boer , Wiebe Van Der Hoek , John-Jules Ch. Meyer, A Verification Framework for Agent Communication, Autonomous Agents and Multi-Agent Systems, v.6 n.2, p.185-219, March 2003
M. A. Tsoukarellas , T. S. Papatheodorou, A run time support system for multiprocessor machines, ACM SIGARCH Computer Architecture News, v.18 n.3b, p.470-478, Sept. 1990
C.-D. Jung , E. Siberrt, Polling in concurrent programming, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.204-209, February 21-23, 1989, Louisville, Kentucky
Axel Jantsch , Ingo Sander , Wenbiao Wu, The usage of stochastic processes in embedded system specifications, Proceedings of the ninth international symposium on Hardware/software codesign, p.5-10, April 2001, Copenhagen, Denmark
Robin Milner, Flowgraphs and Flow Algebras, Journal of the ACM (JACM), v.26 n.4, p.794-818, Oct. 1979
Bart Kienhuis , Ed F. Deprettere, Modeling Stream-Based Applications Using the SBF Model of Computation, Journal of VLSI Signal Processing Systems, v.34 n.3, p.291-300, July 2003
Keith Clark , Steve Gregory, PARLOG: parallel programming in logic, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.1, p.1-49, Jan. 1986
Jan van den Bos , R. Plasmeijer , Jan W. M. Stroet, Process Communication Based on Input Specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.224-250, July 1981
Daniel Lehmann , Michael O. Rabin, On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.133-138, January 26-28, 1981, Williamsburg, Virginia
Peter J. Denning, Editorial, Communications of the ACM, v.29 n.12, p.1163-1167, Dec. 1986
Dick Hamlet, Debugging “level”: Step-wise debugging, Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, p.4-8, January 1983
Leslie J. Waguespack, A structural computer system resource model for teaching computer organization, ACM SIGCSE Bulletin, v.17 n.1, p.63-67, Mar. 1985
Eliezer L. Lozinskii, A problem-oriented inferential database system, ACM Transactions on Database Systems (TODS), v.11 n.3, p.323-356, Sept. 1986
Luca Cardelli , Rob Pike, Squeak: a language for communicating with mice, ACM SIGGRAPH Computer Graphics, v.19 n.3, p.199-204, Jul. 1985
H. Conrad Cunningham, Swarming over the software barrier, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
Arjan J. C. van Gemund, The importance of synchronization structure in parallel program optimization, Proceedings of the 11th international conference on Supercomputing, p.164-171, July 07-11, 1997, Vienna, Austria
D. K. Bradley , B. A.A. Nazief , D. C. Grunwald , D. A. Reed, Picasso: an experiment in hypercube operating system design, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.364-373, January 19-20, 1988, Pasadena, California, United States
Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, ACM SIGSOFT Software Engineering Notes, v.13 n.5, p.1-13, November 1988
Victor Yau, Automating parallel simulation using parallel time streams, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.9 n.2, p.171-201, April 1999
Barry W. Boehm, Software engineering-as it is, Proceedings of the 4th international conference on Software engineering, p.11-21, September 17-19, 1979, Munich, Germany
J.-Y. Brunel , E. A. de Kock , W. M. Kruijtzer , H. J. H. N. Kenter , W. J. M. Smits, Communication refinement in video systems on chip, Proceedings of the seventh international workshop on Hardware/software codesign, p.142-146, March 1999, Rome, Italy
Jonathan Kepecs , Marvin Solomon, SODA: A simplified operating system for distributed applications, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.208-219, August 27-29, 1984, Vancouver, British Columbia, Canada
C. A. R. Hoare, Assertions: A Personal Perspective, IEEE Annals of the History of Computing, v.25 n.2, p.14-25, April 2003
J. G. Hunt, Messages in typed languages, ACM SIGPLAN Notices, v.14 n.1, p.27-45, January 1979
Andrew P. Tolmach , Andrew W. Appel, Debuggable concurrency extensions for standard ML, ACM SIGPLAN Notices, v.26 n.12, p.120-131, Dec. 1991
Masafumi Yamashita , Tiko Kameda, Computing on an anonymous network, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.117-130, August 15-17, 1988, Toronto, Ontario, Canada
D. G. Hyde, A parallel processing course for undergraduates, ACM SIGCSE Bulletin, v.21 n.1, p.170-173, Feb. 1989
F. Baiardi , N. De Francesco , E. Matteoli , S. Stefanini , G. Vaglini, Development of a debugger for a concurrent language, Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, p.98-106, January 1983
Shimon Cohen , Daniel Lehmann, Dynamic systems and their distributed termination, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.29-33, August 18-20, 1982, Ottawa, Canada
Pamela Zave, Testing incomplete specifications of distributed systems, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.42-48, August 18-20, 1982, Ottawa, Canada
A. J. Catto , J. R. Gurd, Resource management in dataflow, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.77-84, October 18-22, 1981, Portsmouth, New Hampshire, United States
G. N. Buckley , Abraham Silberschatz, An Effective Implementation for the Generalized Input-Output Construct of CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.2, p.223-235, April 1983
Robert H. Halstead, Jr. , Stephen A. Ward, The MuNet: A scalable decentralized architecture for parallel computation, Proceedings of the 7th annual symposium on Computer Architecture, p.139-145, May 06-08, 1980, La Baule, United States
Rajiv Gupta , Scott A. Smolka , Shaji Bhaskar, On randomization in sequential and distributed algorithms, ACM Computing Surveys (CSUR), v.26 n.1, p.7-86, March 1994
P. R.F. Cunha , T. S.E. Maibaum, Resource &equil; abstract data type + synchronization - A methodology for message oriented programming -, Proceedings of the 5th international conference on Software engineering, p.263-272, March 09-12, 1981, San Diego, California, United States
Barbara Liskov , Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.381-404, July 1983
Norbert Imlig , Ryusuke Konishi , Tsunemichi Shiozawa , Kiyoshi Oguri , Kouichi Nagami , Hideyuki Ito , Minoru Inamori , Hiroshi Nakada, Communicating logic: an alternative embedded stream processing paradigm, Proceedings of the 2000 conference on Asia South Pacific design automation, p.317-322, January 2000, Yokohama, Japan
Christopher H. Nevison, Seminar: safe concurrent programming in Java with CSP, ACM SIGCSE Bulletin, v.31 n.1, p.367, March 1999
Chandramohan A. Thekkath , Henry M. Levy, Limits to low-latency communication on high-speed networks, ACM Transactions on Computer Systems (TOCS), v.11 n.2, p.179-203, May 1993
Frank D. Anger, On Lamport's interprocessor communication model, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.3, p.404-417, July 1989
Richard N. Taylor, A general-purpose algorithm for analyzing concurrent programs, Communications of the ACM, v.26 n.5, p.361-376, May 1983
Dwight D. Hill, An analysis of C machine support for other block-structured languages, ACM SIGARCH Computer Architecture News, v.11 n.4, p.6-16, September 1983
Ronald H. Klausewitz , Stephen W. Willis, An Ada design for the windowing, tasking, and processing of multi-dimensional large arrays, Proceedings of the sixth Washington Ada symposium on Ada, p.145-148, July 1989, McLean, Virginia, United States
Guy E. Blelloch , Jonathan C. Hardwick , Siddhartha Chatterjee , Jay Sipelstein , Marco Zagha, Implementation of a portable nested data-parallel language, ACM SIGPLAN Notices, v.28 n.7, p.102-111, July 1993
L. Bougé , N. Francez, A compositional approach to superimposition, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.240-249, January 10-13, 1988, San Diego, California, United States
Guy L. Steele, Jr. , Jon L. White, How to print floating-point numbers accurately, ACM SIGPLAN Notices, v.25 n.6, p.112-126, Jun. 1990
Constantine Stephanidis , Anthony Savidis, Unified user interface development, The human-computer interaction handbook: fundamentals, evolving technologies and emerging applications, Lawrence Erlbaum Associates, Inc., Mahwah, NJ, 2002
Wolfgang JÜrgensen , Son T. Vuong, Formal specification and validation of ISO transport protocol components, using petri nets, ACM SIGCOMM Computer Communication Review, v.14 n.2, p.75-82, June 1984
A. Chatterjee, FUTURES: a mechanism for concurrency among objects, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.562-567, November 12-17, 1989, Reno, Nevada, United States
Jean-Pierre Banâtre , Daniel Le Métayer, Programming by multiset transformation, Communications of the ACM, v.36 n.1, p.98-111, Jan. 1993
Mack Alford, Software requirements in the 80's, Proceedings of the ACM 1980 annual conference, p.342-349, January 1980
D. Kumar, Development of a Class of Distributed Termination Detection Algorithms, IEEE Transactions on Knowledge and Data Engineering, v.4 n.2, p.145-155, April 1992
Lars Philipson, VLSI based design principles for MIMD multiprocessor computers with distributed memory management, ACM SIGARCH Computer Architecture News, v.12 n.3, p.319-327, June 1984
John Barron, Dialogue and process design for interactive information systems using Taxis, ACM SIGOA Newsletter, v.3 n.1-2, p.12-20, June 21-23, 1982
R. M. Newman, Team accessible methods for production of safety critical hypermedia documentation, Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork, September 24-27, 2000, Cambridge, Massachusetts
Bhavani Thuraisingham, Secure computing with the actor paradigm, Proceedings on the 1992-1993 workshop on New security paradigms, p.76-81, August 1993, Little Compton, Rhode Island, United States
Sudhir R. Ahuja , Abhaya Asthana, A multi-microprocessor architecture with hardware support for communication and scheduling, ACM SIGPLAN Notices, v.17 n.4, p.205-209, April 1982
Per Brinch Hansen, Efficient parallel recursion, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
Matthew Huntbach, The concurrent object-oriented language braid, Proceedings of the 1995 ACM symposium on Applied computing, p.140-146, February 26-28, 1995, Nashville, Tennessee, United States
Kazuhiro Fuchi , Robert Kowalski , Koichi Furukawa , Kazunori Ueda , Ken Kahn , Takashi Chikayama , Evan Tick, Launching the new era, Communications of the ACM, v.36 n.3, p.49-100, March 1993
Nicholas Carriero , David Gelernter, How to write parallel programs: a guide to the perplexed, ACM Computing Surveys (CSUR), v.21 n.3, p.323-357, Sep. 1989
G. Agha, The relation between problems in large-scale concurrent systems and distributed databases, Proceedings of the first international symposium on Databases in parallel and distributed systems, p.2-12, December 05-07, 1988, Austin, Texas, United States
Sanjeev Kumar , Yitzhak Mandelbaum , Xiang Yu , Kai Li, ESP: a language for programmable devices, ACM SIGPLAN Notices, v.36 n.5, p.309-320, May 2001
W. P. Goodwin , S. K. Das, Implementing parallel sorting algorithms on a linear array of transputers, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.789-796, November 12-17, 1989, Reno, Nevada, United States
George S. Avrunin , Jack C. Wileden, Describing and analyzing distributed software system designs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.380-403, July 1985
Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993
Chyuan Samuel Hsieh , Elizabeth A. Unger, Resource scheduling: specification and proof techniques, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.429-437, February 1988, Atlanta, Georgia, United States
E. A. de Kock , W. J. M. Smits , P. van der Wolf , J.-Y. Brunel , W. M. Kruijtzer , P. Lieverse , K. A. Vissers , G. Essink, YAPI: application modeling for signal processing systems, Proceedings of the 37th conference on Design automation, p.402-405, June 05-09, 2000, Los Angeles, California, United States
H. Zedan, A note on deadlock-free proofs of network of processes, ACM SIGPLAN Notices, v.19 n.10, p.58-62, October 1984
Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.9, p.76-87, September 1982
Van Nguyen , Brent Hailpern, A generalized object model, ACM SIGPLAN Notices, v.21 n.10, p.78-87, Oct. 1986
Toby Bloom, Evaluating synchronization mechanisms, Proceedings of the seventh ACM symposium on Operating systems principles, p.24-32, December 10-12, 1979, Pacific Grove, California, United States
Iyad Ouaiss , Ranga Vemuri, Efficient resource arbitration in reconfigurable computing environments, Proceedings of the conference on Design, automation and test in Europe, p.560-566, March 27-30, 2000, Paris, France
William J. Dally , Linda Chao , Andrew Chien , Soha Hassoun , Waldemar Horwat , Jon Kaplan , Paul Song , Brian Totty , Scott Wills, Architecture of a message-driven processor, 25 years of the international symposia on Computer architecture (selected papers), p.337-344, June 27-July 02, 1998, Barcelona, Spain
F. André , J. P. Banatre , J. P. Routeau, A Multiprocessing Approach to Compile-Time Symbol Resolution, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.1, p.11-23, Jan. 1981
J. Van Den Bos , C. Laffra, PROCOL: a parallel object language with protocols, ACM SIGPLAN Notices, v.24 n.10, p.95-102, Oct. 1989
Richard C. Holt , James R. Cordy , David B. Wortman, An Introduction to S/SL: Syntax/Semantic Language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.149-178, April 1982
Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
Ted Mims , Andrzej Hoppe, Utilizing a transputer laboratory and Occam2 in an undergraduate operating systems course, ACM SIGCSE Bulletin, v.23 n.1, p.317-323, Mar. 1991
Richard B. Kieburtz , Abraham Silberschatz, Comments on “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.218-225, Oct. 1979
Gruia-Catalin Roman , Kenneth C. Cox, Declarative visualization in the shared dataspace paradigm, Proceedings of the 11th international conference on Software engineering, p.34-43, May 1989, Pittsburgh, Pennsylvania, United States
K. Mani Chandy , Jayadev Misra , Laura M. Haas, Distributed deadlock detection, ACM Transactions on Computer Systems (TOCS), v.1 n.2, p.144-156, May 1983
R. J.R. Back , H. Mannila, A refinement of Kahn's semantics to handle non-determinism and communication (Extended Abstract), Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.111-120, August 18-20, 1982, Ottawa, Canada
M. P. Herlihy , J. M. Wing, Axioms for concurrent objects, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.13-26, January 21-23, 1987, Munich, West Germany
Krzysztof R. Apt , Nissim Francez , Willem P. de Roever, A Proof System for Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.359-385, July 1980
R. J. R. Back , R. Kurki-Suonio, Decentralization of process nets with centralized control, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.131-142, August 17-19, 1983, Montreal, Quebec, Canada
Arthur Charlesworth, The multiway rendezvous, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.350-366, July 1987
Akinori Yonezawa , Jean-Pierre Briot , Etsuya Shibayama, Object-oriented concurrent programming ABCL/1, ACM SIGPLAN Notices, v.21 n.11, p.258-268, Nov. 1986
Leslie Lamport , Fred B. Schneider, The ``Hoare Logic'' of CSP, and All That, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.281-296, April 1984
Keith L. Clark , Steve Gregory, A relational language for parallel programming, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.171-178, October 18-22, 1981, Portsmouth, New Hampshire, United States
Marc D. Donner, The design of OWL a language for walking, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.158-165, June 27-29, 1983, San Francisco, California, United States
G von Bochmann , R Gotzhein, Deriving protocol specifications from service specifications, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.148-156, Aug. 5, 1986
Thomas Gross , Monica S. Lam, Compilation for a high-performance systolic array, ACM SIGPLAN Notices, v.21 n.7, p.27-38, July 1986
B. E. Hart , S. Danforth , P. Valduriez, Parallelizing a database programming language, Proceedings of the first international symposium on Databases in parallel and distributed systems, p.72-79, December 05-07, 1988, Austin, Texas, United States
Devendra Kumar , Saad Harous, An approach towards distributed simulation of timed petri nets, Proceedings of the 22nd conference on Winter simulation, p.428-435, December 09-12, 1990, New Orleans, Louisiana, United States
John Reif , Paul Spirakis, Real time resource allocation in distributed systems, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.84-94, August 18-20, 1982, Ottawa, Canada
Krzysztof R. Apt, Formal Justification of a Proof System for Communicating Sequential Processes, Journal of the ACM (JACM), v.30 n.1, p.197-216, Jan. 1983
T. Ichiko, An expert system for conceptual design, Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems, p.452-461, June 1989, Tullahoma, Tennessee, United States
Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
Claudio Passerone , Roberto Passerone , Claudio Sansoè , Jonathan Martin , Alberto Sangiovanni-Vincentelli , Rick McGeer, Modeling reactive systems in Java, Proceedings of the 6th international workshop on Hardware/software codesign, p.15-19, March 15-18, 1998, Seattle, Washington, United States
Frederick C. Hathorn, Structured tasks, Proceedings of the sixth Washington Ada symposium on Ada, p.63-74, July 1989, McLean, Virginia, United States
Gregory R. Andrews, Distributed programming languages, Proceedings of the ACM '82 conference, p.113-117, January 1982
D. A. Sewry, Modula-2 process facilities, ACM SIGPLAN Notices, v.19 n.11, p.23-32, November 1984
E. A. Ashcroft , W. W. Wadge, mbox for Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.283-294, April 1982
Duncan Clarke , Insup Lee, Testing real-time constraints in a process algebraic setting, Proceedings of the 17th international conference on Software engineering, p.51-60, April 24-28, 1995, Seattle, Washington, United States
Russell J. Abbott, Knowledge abstraction, Communications of the ACM, v.30 n.8, p.664-671, Aug. 1987
Robert P. Trueblood , H. Rex Hartson , Johannes J. Martin, MULTISAFE—a modular multiprocessing approach to secure database management, ACM Transactions on Database Systems (TODS), v.8 n.3, p.382-409, Sept. 1983
W. J. Dally , L. Chao , A. Chien , S. Hassoun , W. Horwat , J. Kaplan , P. Song , B. Totty , S. Wills, Architecture of a message-driven processor, Proceedings of the 14th annual international symposium on Computer architecture, p.189-196, June 02-05, 1987, Pittsburgh, Pennsylvania, United States
Franco Turini, Magma2: a language oriented toward experiments in control, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.468-486, Oct. 1984
R. Kurki-Suonio , H.-M. Järvinen, Action system approach to the specification and design of distributed systems, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.34-40, May 1989
J. M. Hancock , S. DasGupta, Tutorial on parallel processing for design automation applications (tutorial session), Proceedings of the 23rd ACM/IEEE conference on Design automation, p.69-77, July 1986, Las Vegas, Nevada, United States
Alex Kondratyev , Michael Kishinevsky , Bill Lin , Peter Vanbekbergen , Alex Yakovlev, Basic gate implementation of speed-independent circuits, Proceedings of the 31st annual conference on Design automation, p.56-62, June 06-10, 1994, San Diego, California, United States
Tzilla Elrad , Daniel E. Nohl, The analysis and comparison of scheduling controls in concurrent languages through classification, ACM SIGCSE Bulletin, v.22 n.1, p.89-93, Feb. 1990
Zohar Manna , Amir Pnueli, How to cook a temporal proof system for your pet language, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.141-154, January 24-26, 1983, Austin, Texas
Marco Schneider, Self-stabilization, ACM Computing Surveys (CSUR), v.25 n.1, p.45-67, March 1993
Martin S. Feather, Language support for the specification and development of composite systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.2, p.198-234, April 1987
Philip Merlin , Gregor V. Bochmann, On the Construction of Submodule Specifications and Communication Protocols, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.1-25, Jan. 1983
M. Hennessy, Acceptance trees, Journal of the ACM (JACM), v.32 n.4, p.896-928, Oct. 1985
Sanjeev Kumar , Kai Li, Dynamic memory management for programmable devices, ACM SIGPLAN Notices, v.38 n.2 supplement, February 2003
Prasad Vishnubhotla, Fine-grain parallelism in the ALPS programming language, Proceedings of the 1990 conference on Supercomputing, p.506-514, October 1990, New York, New York, United States
Patrick M. Lenders, Distributed microprogramming, Proceedings of the 20th annual workshop on Microprogramming, p.12-14, December 01-04, 1987, Colorado Springs, Colorado, United States
B. Bloom , S. Istrail , A. R. Meyer, Bisimulation can't be traced, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.229-239, January 10-13, 1988, San Diego, California, United States
David M. Kristol , David Lee , Arun N. Netravali , Krishan K. Sabnani, Efficient gateway synthesis from formal specifications, ACM SIGCOMM Computer Communication Review, v.21 n.4, p.89-97, Sept. 1991
Peter Ladkin , Barbara Simons, Compile-time analysis of communicating processes, Proceedings of the 6th international conference on Supercomputing, p.248-259, July 19-24, 1992, Washington, D. C., United States
Ed Anson, A generalized iterative construct and its semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.567-581, Oct. 1987
Fong Pong , Michel Dubois, Formal verification of complex coherence protocols using symbolic state models, Journal of the ACM (JACM), v.45 n.4, p.557-587, July 1998
Gregory R. Andrews , Gary M. Levin, On-the-fly deadlock prevention, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.165-172, August 18-20, 1982, Ottawa, Canada
Robert J. K. Jacob, A specification language for direct-manipulation user interfaces, ACM Transactions on Graphics (TOG), v.5 n.4, p.283-317, Oct. 1986
Clyde P Kruskal , Larry Rudolph , Marc Snir, Efficient synchronization of multiprocessors with shared memory, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.218-228, August 11-13, 1986, Calgary, Alberta, Canada
Catuscia Palamidessi, Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.256-265, January 15-17, 1997, Paris, France
David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988
Richard W. Watson , Sandy A. Mamrak, Gaining efficiency in transport services by appropriate design and implementation choices, ACM Transactions on Computer Systems (TOCS), v.5 n.2, p.97-120, May 1987
Gregory R. Andrews , David P. Dobkin, Active data structures, Proceedings of the 5th international conference on Software engineering, p.354-362, March 09-12, 1981, San Diego, California, United States
Doron Drusinsky , David Harel, On the power of bounded concurrency I: finite automata, Journal of the ACM (JACM), v.41 n.3, p.517-539, May 1994
Ranga Vemuri , Sriram Govindarajan , Iyad Ouaiss , Meenakshi Kaul , Vinoo Srinivasan , Shankar Radhakrishnan , Sujatha Sundaraman , Satish Ganesan , Awartika Pandey , Preetham Lakshmikanthan, Automated design synthesis and partitioning for adaptive reconfigurable hardware, Hardware implementation of intelligent systems, Physica-Verlag GmbH, Heidelberg, Germany, 2001
B. R. Preiss , V. C. Hamacher, A cache-based message passing scheme for a shared-bus multiprocessor, ACM SIGARCH Computer Architecture News, v.16 n.2, p.358-364, May 1988
Yuh-Jzer Joung , Scott A. Smolka, A comprehensive study of the complexity of multiparty interaction, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.142-153, January 19-22, 1992, Albuquerque, New Mexico, United States
Jason Gait, Semaphores outside the kernel, ACM SIGPLAN Notices, v.19 n.10, p.12-21, October 1984
J. A. Barnden, Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.293-317, July 1981
Zohar Manna , Pierre Wolper, Synthesis of Communicating Processes from Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.1, p.68-93, Jan. 1984
Nissim Francez, Distributed Termination, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.42-55, Jan. 1980
Abha Moitra, Synthesis of communicating processes, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.123-130, August 17-19, 1983, Montreal, Quebec, Canada
T. E. Anderson , D. D. Lazowska , H. M. Levy, The performance implications of thread management alternatives for shared-memory multiprocessors, ACM SIGMETRICS Performance Evaluation Review, v.17 n.1, p.49-60, May 1989
Allan M. Stavely , David C. Becker , Susan P. Orr , Gregory B. Titus, A collection of software tools for analyzing designs of concurrent software systems, Proceedings of the 8th international conference on Software engineering, p.111-118, August 28-30, 1985, London, England
S. D. Brookes , C. A. R. Hoare , A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM (JACM), v.31 n.3, p.560-599, July 1984
Thomas L. Naps , Eric E. Chan, Using visualization to teach parallel algorithms, ACM SIGCSE Bulletin, v.31 n.1, p.232-236, March 1999
Satoshi Matsuoka , Satoru Kawai, Using tuple space communication in distributed object-oriented languages, ACM SIGPLAN Notices, v.23 n.11, p.276-284, Nov. 1988
Douglas Long , Lori A. Clarke, Data flow analysis of concurrent systems that use the rendezvous model of synchronization, Proceedings of the symposium on Testing, analysis, and verification, p.21-35, October 08-10, 1991, Victoria, British Columbia, Canada
John P. Nestor , E. S. Lee, Prerequisite confidentiality, Proceedings of the 2nd ACM Conference on Computer and communications security, p.282-293, November 1994, Fairfax, Virginia, United States
Orna Grumberg , Nissim Francez , Shmuel Katz, Fair termination of communicating processes, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.254-265, August 27-29, 1984, Vancouver, British Columbia, Canada
Gilbert M. Lundy , H. Alphan Tipici, Specification and analysis of the SNR high-speed transport protocol, IEEE/ACM Transactions on Networking (TON), v.2 n.5, p.483-496, Oct. 1994
T. Bräunl, A specification language for parallel architectures and algorithms, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.49-51, May 1989
A. J. Martin, A message-passing model for highly concurrent computation, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.520-527, January 19-20, 1988, Pasadena, California, United States
Luigi Logrippo, Input-directed program design, Proceedings of the ACM '81 conference, p.263-267, January 1981
John Willis , Zhiyuan Li , Tsang-Puu Lin, Use of embedded scheduling to compile VHDL for effective parallel simulation, Proceedings of the conference on European design automation, p.400-405, September 18-22, 1995, Brighton, England
K. M. Chandy , J. Misra, Asynchronous distributed simulation via a sequence of parallel computations, Communications of the ACM, v.24 n.4, p.198-206, April 1981
Daniel H. Craft, Resource management in a decentralized system, ACM SIGOPS Operating Systems Review, v.17 n.5, p.11-19, October 1983
Dana L. Wyatt , Sallie Sheppard , Robert E. Young, An experiment in microprocessor-based distributed digital simulation, Proceedings of the 15th conference on Winter simulation, p.271-278, December 12-14, 1983, Arlington, Virginia, United States
Tadao Takaoka, Parallel program verification with directed graphs, Proceedings of the 1994 ACM symposium on Applied computing, p.462-466, March 06-08, 1994, Phoenix, Arizona, United States
María Consuelo Franky, JOYCE+: model and language for multi-site distributed systems, Proceedings of the second international symposium on Databases in parallel and distributed systems, p.160-170, July 02-04, 1990, Dublin, Ireland
S. Katz , C. A. Richter , K.-S. The, PARIS: a system for reusing partially interpreted schemas, Proceedings of the 9th international conference on Software Engineering, p.377-385, March 1987, Monterey, California, United States
Mihnea Marinescu , Benjamin Goldberg, Partial-evaluation techniques for concurrent programs, ACM SIGPLAN Notices, v.32 n.12, p.47-62, Dec. 1997
Norman Delisle , Mayer Schwartz, A programming environment for CSP, ACM SIGPLAN Notices, v.22 n.1, p.34-41, January 1987
Amy L. Lansky , Susan S. Owicki, GEM: A tool for concurrency specification and verification, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.198-212, August 17-19, 1983, Montreal, Quebec, Canada
G. J. Holzmann , M. H. Smith, An Automated Verification Method for Distributed Systems Software Based on Model Extraction, IEEE Transactions on Software Engineering, v.28 n.4, p.364-377, April 2002
Shmuel Katz , Doron Peled, Interleaving set temporal logic, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.178-190, August 10-12, 1987, Vancouver, British Columbia, Canada
Stuart R. Faulk , David L. Parnas, On synchronization in hard-real-time systems, Communications of the ACM, v.31 n.3, p.274-287, March 1988
Carl Hewitt, The Apiary network architecture for knowledgeable systems, Proceedings of the 1980 ACM conference on LISP and functional programming, p.107-117, August 25-27, 1980, Stanford University, California, United States
Paul C. Attie , Nissim Francez , Orna Grumberg, Fairness and hyperfairness in multi-party interactions, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.292-305, December 1989, San Francisco, California, United States
Norman Meyrowitz , Margaret Moser, BRUWIN: An adaptable design strategy for window manager/virtual terminal systems, ACM SIGOPS Operating Systems Review, v.15 n.5, p.180-189, December 1981
Ralph E. Johnson , Fred B. Schneider, Symmetry and similarity in distributed systems, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.13-22, August 1985, Minaki, Ontario, Canada
Niels Nørup Pedersen , Robin Sharp, Analysis of channel access schemes for high-speed LANs, ACM SIGCOMM Computer Communication Review, v.14 n.2, p.164-171, June 1984
Jean-Claude Fernandez , Hubert Garavel , Laurent Mounier , Anne Rasse , Carlos Rodriguez , Joseph Sifakis, A toolbox for the verification of LOTOS programs, Proceedings of the 14th international conference on Software engineering, p.246-259, May 11-15, 1992, Melbourne, Australia
Robert G. Babb, II, Data-driven implementation of data flow diagrams, Proceedings of the 6th international conference on Software engineering, p.309-318, September 13-16, 1982, Tokyo, Japan
B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, v.23 n.7, p.260-267, July 1988
Ivar Jacobson, Language support for changeable large real time systems, ACM SIGPLAN Notices, v.21 n.11, p.377-384, Nov. 1986
Kees van Berkel , Ronan Burgess , Joep Kessels , Marly Roncken , Frits Schalij , Ad Peeters, Asynchronous Circuits for Low Power: A DCC Error Corrector, IEEE Design & Test, v.11 n.2, p.22-32, April 1994
Thomas J. LeBlanc , Robert P. Cook, An analysis of language models for high-performance communication in local-area networks, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.65-72, June 27-29, 1983, San Francisco, California, United States
Shigeru Kusakabe , Taku Nagai , Yoshihiro Yamashita , Rin-ichiro Taniguchi , Makoto Amamiya, A dataflow language with object-based extension and its implementation on a commercially available parallel machine, Proceedings of the 9th international conference on Supercomputing, p.308-317, July 03-07, 1995, Barcelona, Spain
Krzysztof R. Apt, Correctness proofs of distributed termination algorithms, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.388-405, July 1986
D. Q. M. Fay, Experiences using Inmos proto-OCCAM (TM), ACM SIGPLAN Notices, v.19 n.9, p.5-11, September 1984
P. M. Lenders , H. Schröder , P. Strazdins, Microprogramming instruction systolic arrays, ACM SIGMICRO Newsletter, v.20 n.3, p.56-69, Sep. 1989
Nissim Francez , Brent Hailpern, Script: A communication abstraction mechanism, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.213-227, August 17-19, 1983, Montreal, Quebec, Canada
Daniel Le Métayer, Software architecture styles as graph grammars, ACM SIGSOFT Software Engineering Notes, v.21 n.6, p.15-23, Nov. 1996
Verlynda Dobbs, A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, v.19 n.1, p.62-66, Feb. 1987
David M. Kristol , David Lee , Arun N. Netravali , Krishan Sabnani, A polynomial algorithm for gateway generation from formal specifications, IEEE/ACM Transactions on Networking (TON), v.1 n.2, p.217-229, April 1993
Roberto Zicari, Semantics of a communication mechanism in a distributed system, Proceedings of the 5th ACM SIGSMALL symposium on Small systems, p.43-48, August 02-04, 1982, Colorado Springs, Colorado, United States
Jayadev Misra , K. M. Chandy, Termination Detection of Diffusing Computations in Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.37-43, Jan. 1982
Brent Hailpern , Susan Owicki, Modular verification of concurrent programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.322-336, January 25-27, 1982, Albuquerque, Mexico
Mingsheng Ying, Additive models of probabilistic processes, Theoretical Computer Science, v.275 n.1-2, p.481-519, March 28 2002
Edward E. Balkovich , John A. Morse, Performance of distributed software implemented by a contention bus, Proceedings of the ACM '81 conference, p.39-45, January 1981
E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986
F. Baiardi , L. Ricci , M. Vanneschi, Static checking of interprocess communication in ECSP, ACM SIGPLAN Notices, v.19 n.6, p.290-299, June 1984
Goopeel Chung , Prasun Dewan, A mechanism for supporting client migration in a shared window system, Proceedings of the 9th annual ACM symposium on User interface software and technology, p.11-20, November 06-08, 1996, Seattle, Washington, United States
Régis Cridlig, Semantic analysis of shared-memory concurrent languages using abstract model-checking, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.214-225, June 21-23, 1995, La Jolla, California, United States
A. P. Sistla, Distributed algorithms for ensuring fair interprocess communicatons, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.266-277, August 27-29, 1984, Vancouver, British Columbia, Canada
Joylyn Reed , Raymond T. Yeh, Specification and verification of liveness properties of cyclic, concurrent processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.156-177, Jan. 1988
Subrata Dasgupta, Some Aspects of High-Level Microprogramming, ACM Computing Surveys (CSUR), v.12 n.3, p.295-323, Sept. 1980
M M Jackson, Information systems: Modelling, sequencing and transformations, Proceedings of the 3rd international conference on Software engineering, p.72-81, May 10-12, 1978, Atlanta, Georgia, United States
John H. Reif , Paul G. Spirakis, Real-Time Synchronization of Interprocess Communications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.215-238, April 1984
Catriel Beeri , Philip A. Bernstein , Nathan Goodman, A model for concurrency in nested transactions systems, Journal of the ACM (JACM), v.36 n.2, p.230-269, April 1989
William A. Kornfeld, Combinatorially implosive algorithms, Communications of the ACM, v.25 n.10, p.734-738, Oct 1982
C. S. Ellis , J. A. Feldman , J. E. Heliotis, Language constructs and support systems for distributed computing, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.1-9, August 18-20, 1982, Ottawa, Canada
Bard Bloom , Sorin Istrail , Albert R. Meyer, Bisimulation can't be traced, Journal of the ACM (JACM), v.42 n.1, p.232-268, Jan. 1995
Isabel Gouveia Lima , Richard Hopkins , Lindsay Marshall , David Mundy , Philip Treleaven, Decentralised control flow - based on UNIX, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.192-201, June 27-29, 1983, San Francisco, California, United States
Terry Winograd, Beyond programming languages, Communications of the ACM, v.22 n.7, p.391-401, July 1979
Miguel García Hoffmann, Hardware implementation of communication protocols: A formal approach, Proceedings of the 7th annual symposium on Computer Architecture, p.253-263, May 06-08, 1980, La Baule, United States
Yuh-Jzer Joung , Scott A. Smolka, A comprehensive study of the complexity of multiparty interaction, Journal of the ACM (JACM), v.43 n.1, p.75-115, Jan. 1996
Piyush Mehrotra , Terrence W. Pratt, Language concepts for distributed processing of large arrays, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.19-28, August 18-20, 1982, Ottawa, Canada
A. Savidis , A. Paramythis , D. Akoumianakis , C. Stephanidis, Designing user-adapted interfaces: the unified design method for transformable interactions, Proceedings of the conference on Designing interactive systems: processes, practices, methods, and techniques, p.323-334, August 18-20, 1997, Amsterdam, The Netherlands
Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
Roger E. Eggen , John R. Metzner, An inherently parlle large grained data flow environment, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.551-557, February 1988, Atlanta, Georgia, United States
Brian N. Bershad , Edward D. Lazowska , Henry M. Levy , David B. Wagner, An open enviornment for building parallel programming systems, ACM SIGPLAN Notices, v.23 n.9, p.1-9, Sept. 1988
Paul F. Reynolds, Jr., A shared resource algorithm for distributed simulation, ACM SIGARCH Computer Architecture News, v.10 n.3, p.259-266, April 1982
Rajit Manohar , José A. Tierno, Asynchronous Parallel Prefix Computation, IEEE Transactions on Computers, v.47 n.11, p.1244-1252, November 1998
Robert J. Souza , Edward E. Balkovich, Impact of hardware interconnection structures on the performance of decentralized software, Proceedings of the 8th annual symposium on Computer Architecture, p.357-365, May 12-14, 1981, Minneapolis, Minnesota, United States
Tevfik Bultan , Xiang Fu , Richard Hull , Jianwen Su, Conversation specification: a new approach to design and analysis of e-service composition, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
Laura K. Dillon , George S. Avrunin , Jack C. Wileden, Constrained expressions: toward broad applicability of analysis methods for distributed software systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.3, p.374-402, July 1988
Jeffrey M. Tobias, A single user multiprocessor incorporating processor manipulation facilities, Proceedings of the 7th annual symposium on Computer Architecture, p.131-138, May 06-08, 1980, La Baule, United States
Chris Nevison, An undergraduate parallel processing laboratory, ACM SIGCSE Bulletin, v.20 n.1, p.68-72, Feb. 1988
Nissim Francez , Shaula A. Yemini, Symmetric intertask communication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.622-636, Oct. 1985
H. von Issendorff , W. Grünewald, An adaptable network for functional distributed systems, Proceedings of the 7th annual symposium on Computer Architecture, p.196-201, May 06-08, 1980, La Baule, United States
Huai-An Lin , Ming T. Liu , Charles J. Graff, Verification of a methodology for designing reliable communication protocols, ACM SIGCOMM Computer Communication Review, v.13 n.4, p.141-149, October 1983
Pierpaolo Degano , Ugo Montanari, A model for distributed systems based on graph rewriting, Journal of the ACM (JACM), v.34 n.2, p.411-449, April 1987
G. A. Ringwood, Parlog86 and the dining logicians, Communications of the ACM, v.31 n.1, p.10-25, Jan. 1988
Anita K. Jones , Karsten Schwans, TASK forces: Distributed software for solving problems of substantial size, Proceedings of the 4th international conference on Software engineering, p.315-330, September 17-19, 1979, Munich, Germany
Wei Siong Tan , H. Russ , Cecil O. Alford, GT-EP: a novel high-performance real-time architecture, ACM SIGARCH Computer Architecture News, v.19 n.3, p.13-21, May 1991
Fred B. Schneider, Synchronization in Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.125-148, April 1982
Leslie Lamport, A simple approach to specifying concurrent systems, Communications of the ACM, v.32 n.1, p.32-45, Jan. 1989
Arthur Bernstein, Output Guards and Nondeterminism in “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.234-238, April 1980
G.-C. Roman , K. C. Cox, Implementing a shared dataspace language on a message-based multiprocessor, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.41-48, May 1989
O. M. Nierstrasz, Active objects in hybrid, ACM SIGPLAN Notices, v.22 n.12, p.243-253, Dec. 1987
Gene C. Barton, Sentry: A novel hardware implementation of classic operating system mechanisms, ACM SIGARCH Computer Architecture News, v.10 n.3, p.140-147, April 1982
Peter Wegner, Dimensions of object-based language design, ACM SIGPLAN Notices, v.22 n.12, p.168-182, Dec. 1987
Maurice P. Herlihy , Jeannette M. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.3, p.463-492, July 1990
Brain A. Rudolph, Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, v.33 n.5, p.563-576, May 1990
Ron Koymans , Jan Vytopil , Willem P. de Roever, Real-time programming and asynchronous message passing, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.187-197, August 17-19, 1983, Montreal, Quebec, Canada
D. P. Sidhu , C.-S. Chang, Probabilistic testing of protocols, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.295-302, Sep. 1989
Shohei Fujita, Distributed MIMD multiprocessor system with MicroAda/SuperMicro(TM) for asynchronous concurrent Newton's algorithms, Proceedings of the 5th ACM SIGSMALL symposium on Small systems, p.49-59, August 02-04, 1982, Colorado Springs, Colorado, United States
Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, Working Group reports of the 3rd annual SIGCSE/SIGCUE ITiCSE conference on Integrating technology into computer science education, p.14-34, December 1998, Dublin, Ireland
André Bakkers , Johan Sunter , Evert Ploeg, Automatic generation of scheduling and communication code in real-time parallel programs, ACM SIGPLAN Notices, v.30 n.11, p.134-145, Nov. 1995
Binu K. Johnson , R. Karthikeyan , D. Janaki Ram, DP: A Paradigm for Anonymous Remote Computation and Communication for Cluster Computing, IEEE Transactions on Parallel and Distributed Systems, v.12 n.10, p.1052-1065, October 2001
Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989
Conal Elliott, Declarative event-oriented programming, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.56-67, September 20-23, 2000, Montreal, Quebec, Canada
John Reif , Paul Spirakis, Distributed algorithms for synchronizing interprocess communication within real time, Proceedings of the thirteenth annual ACM symposium on Theory of computing, p.133-145, May 11-13, 1981, Milwaukee, Wisconsin, United States
Daniel D. Gajski , Frank Vahid , Sanjiv Narayan , Jie Gong, SpecSyn: an environment supporting the specify-explore-refine paradigm for hardware/software system design, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
Mark Astley , Gul A. Agha, Customization and composition of distributed objects: middleware abstractions for policy management, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.1-9, Nov. 1998
N. De Francesco , D. Latella , G. Vaglini, An interactive debugger for a concurrent language, Proceedings of the 8th international conference on Software engineering, p.320-325, August 28-30, 1985, London, England
Nan C. Schaller , Michael Berman , Judith Bishop , Paddy Nixon , Evelyn Rozanski , Peter Welch, Using Java in computer science education (panel), The supplemental proceedings of the conference on Integrating technology into computer science education: working group reports and supplemental proceedings, p.140-143, June 01-05, 1997, Uppsala, Sweden
Nicholas Carriero , David Gelernter, The S/Net's Linda kernel, ACM Transactions on Computer Systems (TOCS), v.4 n.2, p.110-129, May 1986
M. Hallman, An operational requirement description model for open systems, Proceedings of the 10th international conference on Software engineering, p.286-295, April 11-15, 1988, Singapore
I. R. Forman, Design by decomposition of multiparty interactions in Raddle87, ACM SIGSOFT Software Engineering Notes, v.14 n.3, p.2-10, May 1989
Stephen Edwards , Luciano Lavagno , Edward A. Lee , Alberto Sangiovanni-Vincentelli, Design of embedded systems: formal models, validation, and synthesis, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
J. P. Banatre , M. Banatre, Language features for description of cooperating processes, Proceedings of the 4th international conference on Software engineering, p.308-314, September 17-19, 1979, Munich, Germany
Alessandro Balboni , William Fornaciari , Donatella Sciuto, Co-synthesis and co-simulation of control-dominated embedded systems, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
Eduardo Casais, An object oriented system implementing KNOs, ACM SIGOIS Bulletin, v.9 n.2-3, p.284-290, April & July 1988
Yung-Pin Cheng, Refactoring design models for inductive verification, ACM SIGSOFT Software Engineering Notes, v.27 n.4, July 2002
Alfred Z. Spector, Performing remote operations efficiently on a local computer network, Communications of the ACM, v.25 n.4, p.246-260, April 1982
S. -T. Huang, A distributed deadlock detection algorithm for CSP-like communication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.102-122, Jan. 1990
Wolfgang Hoyer, Intertask communication realized with an interrupt mechanism, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.463-470, October 1985, Denver, Colorado, United States
Arjan J. C. van Gemund, Performance prediction of parallel processing systems: the PAMELA methodology, Proceedings of the 7th international conference on Supercomputing, p.318-327, July 19-23, 1993, Tokyo, Japan
Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys (CSUR), v.21 n.3, p.413-510, Sep. 1989
George J. Milne, A model for hardware description and verification, Proceedings of the 21st conference on Design automation, p.251-257, June 25-27, 1984, Albuquerque, New Mexico, United States
Ehud Shapiro, Separating concurrent languages with categories of language embeddings, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.198-208, May 05-08, 1991, New Orleans, Louisiana, United States
V. R. Pratt, On the composition of processes, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.213-223, January 25-27, 1982, Albuquerque, Mexico
Frank S. de Boer , Rogier M. van Eijk , Wiebe van der Hoek , John-Jules Ch. Meyer, A fully abstract model for the exchange of information in multi-agent systems, Theoretical Computer Science, v.290 n.3, p.1753-1773, 3 January 2003
Y. K. Tsay , R. L. Bagrodia, Fault-Tolerant Algorithms for Fair Interprocess Synchronization, IEEE Transactions on Parallel and Distributed Systems, v.5 n.7, p.737-748, July 1994
A. Stoll , J. Biesenack , S. Rumler, Flexible timing specification in a VHDL synthesis subset, Proceedings of the conference on European design automation, p.610-615, November 1992, Congress Centrum Hamburg, Hamburg, Germany
George Milne , Robin Milner, Concurrent Processes and Their Syntax, Journal of the ACM (JACM), v.26 n.2, p.302-321, April 1979
Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980
Charles L. Seitz, The cosmic cube, Communications of the ACM, v.28 n.1, p.22-33, Jan. 1985
Chuchang Liu , Mehmet A. Orgun, Executing specifications of distributed computations with Chronolog(MC), Proceedings of the 1996 ACM symposium on Applied Computing, p.393-400, February 17-19, 1996, Philadelphia, Pennsylvania, United States
Ralph D. Hill, Supporting concurrency, communication, and synchronization in human-computer interaction—the Sassafras UIMS, ACM Transactions on Graphics (TOG), v.5 n.3, p.179-210, July 1986
K. M. Chandy , J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.632-646, Oct. 1984
M. Elizabeth C. Hull , R. M. McKeag, Communicating Sequential Processes for Centralized and Distributed Operating System Design, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.175-191, April 1984
Barbara Liskov, Primitives for distributed computing, Proceedings of the seventh ACM symposium on Operating systems principles, p.33-42, December 10-12, 1979, Pacific Grove, California, United States
Lan Jin , Lan Yang, Parallel solution of Hough transform and convolution problems—a novel multimodal approach, Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, p.775-781, March 1992, Kansas City, Missouri, United States
George W. Cherry, Covering the life cycle with Ada: Ada all the way, Proceedings of the sixth Washington Ada symposium on Ada, p.221-263, July 1989, McLean, Virginia, United States
Marty Ossefort, Correctness Proofs of Communicating Processes: Three Illustrative Examples From the Literature, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.620-640, Oct. 1983
Pramod V. Koppol , Richard H. Carver , Kuo-Chung Tai, Incremental Integration Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.28 n.6, p.607-623, June 2002
Krzysztof Kuchcinski , Bogdan Wiszniewski, Path analysis of distributed programs, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.320-328, February 1988, Atlanta, Georgia, United States
John H. Reif , Gary L. Peterson, A dynamic logic of multiprocessing with incomplete information, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.193-202, January 28-30, 1980, Las Vegas, Nevada
Seong Bae Eun , Eun Suk No , Hyung Chul Kim , Hyunsoo Yoon , Seung Ryoul Maeng, Specification of multimedia composition and a visual programming environment, Proceedings of the first ACM international conference on Multimedia, p.167-173, August 02-06, 1993, Anaheim, California, United States
Ed Anson, The semantics of graphical input, ACM SIGGRAPH Computer Graphics, v.13 n.2, p.113-120, August 1979
Norman Ramsey, Correctness of trap-based breakpoint implementations, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.15-24, January 16-19, 1994, Portland, Oregon, United States
C. William Higginbotham , Ralph Morelli, A system for teaching concurrent programming, ACM SIGCSE Bulletin, v.23 n.1, p.309-316, Mar. 1991
Rajive Bagrodia, Synchronization of asynchronous processes in CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.4, p.585-597, Oct. 1989
Jon A. Solworth, Epochs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.1, p.28-53, Jan. 1992
M. Ajmone Marsan , G. Balbo , G. Chiola , G. Conte, Modeling the software architecture of a prototype parallel machine, ACM SIGMETRICS Performance Evaluation Review, v.15 n.1, p.175-185, May 1987
C. S. Jutla , E. Knapp , J. R. Rao, A predicate transformer approach to semantics of parallel programs, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.249-263, June 1989, Edmonton, Alberta, Canada
Y. C. Yan , S. F. Lundstrom, The Post-Game Analysis Framework-Developing Resource Management Strategies for Concurrent Systems, IEEE Transactions on Knowledge and Data Engineering, v.1 n.3, p.293-309, September 1989
Yves Dallery , Zhen Liu , Don Towsley, Equivalence, reversibility, symmetry and concavity properties in fork-join queuing networks with blocking, Journal of the ACM (JACM), v.41 n.5, p.903-942, Sept. 1994
Nissim Francez, Extended naming conventions for communicating processes, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.40-45, January 25-27, 1982, Albuquerque, Mexico
David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985
Eric C. R. Hehner, Predicative programming Part II, Communications of the ACM, v.27 n.2, p.144-151, Feb. 1984
Christopher H. Nevison, Restructuring networks to avoid deadlocks in parallel simulations, Proceedings of the 22nd conference on Winter simulation, p.446-452, December 09-12, 1990, New Orleans, Louisiana, United States
François Baccelli , Zhen Liu, On the execution of parallel programs on multiprocessor systems—a queuing theory approach, Journal of the ACM (JACM), v.37 n.2, p.373-414, April 1990
Valérie Issarny, An exception handling model for parallel programming and its verification, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.92-100, Dec. 1991
C. Passerone , C. Sansoe , L. Lavagno , R. McGeer , J. Martin , R. Passerone , A. Sangiovanni-Vincentelli, Modeling reactive systems in Java, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.3 n.4, p.515-523, Oct. 1998
Robin Milner, Elements of interaction: Turing award lecture, Communications of the ACM, v.36 n.1, p.78-89, Jan. 1993
N Liu , M T Liu, Conformity analysis for communication protocols, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.216-226, Aug. 5, 1986
Gerard J. Holzmann , Margaret H. Smith, A practical method for verifying event-driven software, Proceedings of the 21st international conference on Software engineering, p.597-607, May 16-22, 1999, Los Angeles, California, United States
Andrew P. Black, An asymmetric stream communication system, ACM SIGOPS Operating Systems Review, v.17 n.5, p.4-10, October 1983
G-C. Roman, Specifying software/hardware interactions in distributed systems, Proceedings of the 9th international conference on Software Engineering, p.126-139, March 1987, Monterey, California, United States
Richard E. Ladner, The complexity of problems in systems of communicating sequential processes (Extended Abstract), Proceedings of the eleventh annual ACM symposium on Theory of computing, p.214-223, April 30-May 02, 1979, Atlanta, Georgia, United States
Tirza Hirst , David Harel, On the power of bounded concurrency II: pushdown automata, Journal of the ACM (JACM), v.41 n.3, p.540-554, May 1994
Matthias Kaiserswerth, The Parallel Protocol Engine, IEEE/ACM Transactions on Networking (TON), v.1 n.6, p.650-663, Dec. 1993
E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.117-126, January 24-26, 1983, Austin, Texas
Yuh-Jzer Joung , Scott A. Smolka, Coordinating first-order multiparty interactions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.954-985, May 1994
Ian Foster , Stephen Taylor, A compiler approach to scalable concurrent-program design, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.577-604, May 1994
George J. Milne, CIRCAL and the representation of communication, concurrency, and time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.270-298, April 1985
Fong Pong , Michel Dubois, Verification techniques for cache coherence protocols, ACM Computing Surveys (CSUR), v.29 n.1, p.82-126, March 1997
Gruia-Catalin Roman , Mark S. Day, Multifaceted distributed systems specification using processes and event synchronization, Proceedings of the 7th international conference on Software engineering, p.44-55, March 26-29, 1984, Orlando, Florida, United States
Bill Lin , Steven Vercauteren, Synthesis of concurrent system interface modules with automatic protocol conversion generation, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.101-108, November 06-10, 1994, San Jose, California, United States
Edward A. Lee , Alberto Sangiovanni-Vincentelli, Comparing models of computation, Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design, p.234-241, November 10-14, 1996, San Jose, California, United States
Clyde P. Kruskal , Larry Rudolph , Marc Snir, Efficient synchronization of multiprocessors with shared memory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.4, p.579-601, Oct. 1988
Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico
Richard D. Schlichting , Fred B. Schneider, Using message passing for distributed programming: proof rules and disciplines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.402-431, July 1984
Warren H. Jessop, Ada packages and distributed systems, ACM SIGPLAN Notices, v.17 n.2, p.28-36, February 1982
H. C. Cunningham , G. C. Roman, A UNITY-Style Programming Logic for Shared Dataspace Programs, IEEE Transactions on Parallel and Distributed Systems, v.1 n.3, p.365-376, July 1990
H. G. Mendelbaum , D. Finkelman, Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems, IEEE Computer Graphics and Applications, v.9 n.1, p.40-46, January 1989
Ayaz Isazadeh , Glenn H. MacEwen , Andrew Malton, Behavioral patterns for software requirement engineering, Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research, p.33, November 07-09, 1995, Toronto, Ontario, Canada
John Reif , Paul Spirakis, Unbounded speed variability in distributed communication systems, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.46-56, January 25-27, 1982, Albuquerque, Mexico
Sagar Chaki , Edmund Clarke , Alex Groce , Somesh Jha , Helmut Veith, Modular verification of software components in C, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
Ratan Nalumasu , Ganesh Gopalakrishnan, Deriving Efficient Cache Coherence Protocols Through Refinement, Formal Methods in System Design, v.20 n.1, p.107-125, January 2002
Patrícia Gomes Soares, On remote procedure call, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
Michael I. Gordon , William Thies , Michal Karczmarek , Jasper Lin , Ali S. Meli , Andrew A. Lamb , Chris Leger , Jeremy Wong , Henry Hoffmann , David Maze , Saman Amarasinghe, A stream compiler for communication-exposed architectures, ACM SIGPLAN Notices, v.37 n.10, October 2002
André Arnold, Nivat's processes and their synchronization, Theoretical Computer Science, v.281 n.1-2, p.31-36, June 3 2002
Laurence Tianruo Yang , Richard P. Brent, Parallel execution time analysis for least squares problems on distributed memory architectures, Practical parallel computing, Nova Science Publishers, Inc., Commack, NY, 2001
Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su, E-services: a look behind the curtain, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-14, June 09-11, 2003, San Diego, California
D. A. van Beek , V. Bos , J. E. Rooda, Declaration of unknowns in DAE-based hybrid system specification, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.13 n.1, p.39-61, January 2003
Sanjeev Kumar , Kai Li, Using model checking to debug device firmware, ACM SIGOPS Operating Systems Review, v.36 n.SI, Winter 2002
Yuh-Jzer Joung, The congenial talking philosophers problem in computer networks, Distributed Computing, v.15 n.3, p.155-175, July 2002
Kees van Berkel , Joep Kessels , Marly Roncken , Ronald Saeijs , Frits Schalij, The VLSI-programming language tangram and its translation into handshake circuits, Proceedings of the conference on European design automation, February 25-28, 1991, Amsterdam, The Netherlands
David Harel, A general result on infinite trees and its applications, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.418-427, December 1984
Patrícia Comes Soares , Alan Randolph Karben, Implementing a delegation model design of an HPCC application using concert/C, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing, October 24-28, 1993, Toronto, Ontario, Canada
A. Singh , J. Schaeffer , M. Green, A Template-Based Approach to the Generation of Distributed Applications Using a Network of Workstations, IEEE Transactions on Parallel and Distributed Systems, v.2 n.1, p.52-67, January 1991
Arash Saifhashemi , Hossein Pedram, Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction, Proceedings of the 40th conference on Design automation, June 02-06, 2003, Anaheim, CA, USA
C. Rolland , C. Richard, Transactions modeling, Proceedings of the 1982 ACM SIGMOD international conference on Management of data, June 02-04, 1982, Orlando, Florida
Per Brinch Hansen, Joyce: a programming language for distributed systems, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
Jean Bacon, An approach to distributed software systems, ACM SIGOPS Operating Systems Review, v.15 n.4, p.62-74, October 1981
Jiannong Cao , Alvin Chan , Yudong Sun , Kang Zhang, Dynamic configuration management in a graph-oriented distributed programming environment, Science of Computer Programming, v.48 n.1, p.43-65, July 2003
Svend Frølund , Fernando Pedone, Dealing efficiently with data-center disasters, Journal of Parallel and Distributed Computing, v.63 n.11, p.1064-1081, November 2003
José A. Tierno , Alain J. Martin , Drazen Borkovic , Tak Kwan Lee, A 100-MIPS GaAs Asynchronous Microprocessor, IEEE Design & Test, v.11 n.2, p.43-49, April 1994
Vaughan Pratt, Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.1-9, January 24-26, 1983, Austin, Texas
Michael Lee Scott, Messages vs. remote procedures is a false dichotomy, ACM SIGPLAN Notices, v.18 n.5, p.57-62, May 1983
Per Brinch Hansen, Distributed processes: a concurrent programming concept, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
Abraham Silberschatz, A note on the distributed program component cell, ACM SIGPLAN Notices, v.16 n.7, p.89-96, July 1981
Matthew M. Huntbach , Graem A. Ringwood, Programming In Concurrent Logic Languages, IEEE Software, v.12 n.6, p.71-81, November 1995
Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.10, p.50-61, October 1982
Robert M. Newman , Elena I. Gaura, Formal design of SMIL presentations, Proceedings of the 21st annual international conference on Documentation, October 12-15, 2003, San Francisco, CA, USA
Seif Haridi , John-Olof Bauner , Gert Svensson, An implementation and empirical evaluation of the tasking facilities in ADA, ACM SIGPLAN Notices, v.16 n.2, p.35-47, February 1981
Reza Ziaei , Gul Agha, SynchNet: a Petri net based coordination language for distributed objects, Proceedings of the second international conference on Generative programming and component engineering, p.324-343, September 22-25, 2003, Erfurt, Germany
Jonathan Kepecs , Marvin Solomon, SODA: a simplified operating system for distributed applications, ACM SIGOPS Operating Systems Review, v.19 n.4, p.45-56, October 1985
Mariano P. Consens , Masum Z. Hasan , Alberto O. Mendelzon, Using Hy+ for network management and distributed debugging, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering, October 24-28, 1993, Toronto, Ontario, Canada
Paolo Mori , Laura Ricci, Computational science in high schools: defining curricula and environments, Future Generation Computer Systems, v.19 n.8, p.1349-1361, November 2003
D. Kumar, Systems with Low Distributed Simulation Overhead, IEEE Transactions on Parallel and Distributed Systems, v.3 n.2, p.155-165, March 1992
R. Kurki-Suonio, Action systems in incremental and aspect-oriented modeling, Distributed Computing, v.16 n.2-3, p.201-217, September 2003
Dave Nellans , Vamshi Krishna Kadaru , Erik Brunvand, ARCS: an architectural level communication driven simulator, Proceedings of the 14th ACM Great Lakes symposium on VLSI, April 26-28, 2004, Boston, MA, USA
Jan W. Amtrup , Jörg Benra, Communication in large distributed AI systems for natural language processing, Proceedings of the 16th conference on Computational linguistics, August 05-09, 1996, Copenhagen, Denmark
Aaron W. Keen , Tingjian Ge , Justin T. Maris , Ronald A. Olsson, JR: Flexible distributed programming in an extended Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.3, p.578-608, May 2004
G.-C. Roman, Language and visualization support for large-scale concurrency, Proceedings of the 10th international conference on Software engineering, p.296-308, April 11-15, 1988, Singapore
Frank Vahid , Thuy Dm Le , Yu-Chin Hsu, Functional partitioning improvements over structural partitioning for packaging constraints and synthesis: tool performance, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.3 n.2, p.181-208, April 1998
Liuba Shrira , Nissim Francez , Michael Rodeh, Distributed k-selection: From a sequential to a distributed algorithm, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.143-153, August 17-19, 1983, Montreal, Quebec, Canada
Michel Pilote, A programming language framework for designing user interfaces, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.118-136, June 27-29, 1983, San Francisco, California, United States
T. Boku , S. Nomura , H. Amano, IMPULSE: a high performance processing unit for multiprocessors for scientific calculation, ACM SIGARCH Computer Architecture News, v.16 n.2, p.365-372, May 1988
Christoph Kern , Mark R. Greenstreet, Formal verification in hardware design: a survey, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.4 n.2, p.123-193, April 1999
E. W. Stark, Concurrent transition system semantics of process networks, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.199-210, January 21-23, 1987, Munich, West Germany
Joseph Bergin , Thomas L. Naps , Constance G. Bland , Stephen J. Hartley , Mark A. Holliday , Pamela B. Lawhead , John Lewis , Myles F. McNally , Christopher H. Nevison , Cheng Ng , George J. Pothering , Tommi Teräsvirta, Java resources for computer science instruction, ACM SIGCUE Outlook, v.26 n.4, p.14-34, Oct. 1998
Chang-Hyun Jo , K. M. George, Language concepts using dynamic and distributed objects, Proceedings of the 19th annual conference on Computer Science, p.211-220, April 1991, San Antonio, Texas, United States
Jerome A. Feldman, High level programming for distributed computing, Communications of the ACM, v.22 n.6, p.353-368, June 1979
Farhad Arbab , Marcello M. Bonsangue , Frank S. de Boer, A coordination language for mobile components, Proceedings of the 2000 ACM symposium on Applied computing, p.166-173, March 2000, Como, Italy
S. Aggarwal , D. Barbaŕ , K. Z. Meth, A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency, IEEE Transactions on Software Engineering, v.14 n.3, p.280-290, March 1988
G. C. Roman , J. Y. Plun , C. D. Wilcox , S. Varma, Dynamic Synchrony Among Atomic Actions, IEEE Transactions on Parallel and Distributed Systems, v.4 n.6, p.677-685, June 1993
An enhanced thread synchronization mechanism for Java, Software—Practice & Experience, v.31 n.7, p.667-695, June 2001
John Hogg , Steven Weiser, OTM: Applying objects to tasks, ACM SIGPLAN Notices, v.22 n.12, p.388-393, Dec. 1987
Edward A. Lee , Thomas M. Parks, Dataflow process networks, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
David W. Wall, Messages as active agents, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.34-39, January 25-27, 1982, Albuquerque, Mexico
Anna Ingólfsdóttir, A semantic theory for value-passing processes based on the late approach, Information and Computation, v.184 n.1, p.1-44, July 10, 2003
Guy L. Steele , Jon L. White, How to print floating-point numbers accurately, ACM SIGPLAN Notices, v.39 n.4, April 2004
M. Ahuja , T. Carlson , A. Gahlot, Passive-Space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing, IEEE Transactions on Software Engineering, v.19 n.9, p.845-855, September 1993
Sanjiv Narayan , Frank Vahid , Daniel D. Gajski, System Specification with the SpecCharts Language, IEEE Design & Test, v.9 n.4, p.6-13, October 1992
D. Kumar , S. Harous, A Study of Achievable Speedup in Distributed Simulation via NULL Messages, IEEE Transactions on Parallel and Distributed Systems, v.4 n.3, p.347-354, March 1993
Daniel D. Gajski , Frank Vahid, Specification and Design of Embedded Hardware-Software Systems, IEEE Design & Test, v.12 n.1, p.53-67, March 1995
Douglas L. Long , Lori A. Clarke , Joseph Fialli, Ada language considerations for concurrency analysis, Proceedings of the sixth Washington Ada symposium on Ada, p.75-80, July 1989, McLean, Virginia, United States
Elizabeth L. White , James M. Purtilo, Integrating the heterogeneous control properties of software modules, ACM SIGSOFT Software Engineering Notes, v.17 n.5, p.99-108, Dec. 1992
B. Mendelson , G. M. Silberman, Mapping data flow programs on a VLSI array of processors, Proceedings of the 14th annual international symposium on Computer architecture, p.72-80, June 02-05, 1987, Pittsburgh, Pennsylvania, United States
J. W. de Bakker , J. I. Zucker, Denotational semantics of concurrency, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.153-158, May 05-07, 1982, San Francisco, California, United States
William E. McUmber , Betty H. C. Cheng, A general framework for formalizing UML with formal languages, Proceedings of the 23rd International Conference on Software Engineering, p.433-442, May 12-19, 2001, Toronto, Ontario, Canada
V. W. Mak , S. F. Lundstrom, Predicting Performance of Parallel Computations, IEEE Transactions on Parallel and Distributed Systems, v.1 n.3, p.257-270, July 1990
Ian Foster, Compositional parallel programming languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.4, p.454-476, July 1996
Chyuan Samuel Hsieh , Elizabeth A. Unger, Manifolds: a very high-level conceptual framework of interprocess synchronization and communication, Proceedings of the 15th annual conference on Computer Science, p.196-204, February 1987, St. Louis, Missouri, United States
Frank Vahid , Tony Givargis, Incorporating cores into system-level specification, Proceedings of the 11th international symposium on System synthesis, p.43-48, December 02-04, 1998, Hsinchu, Taiwan, China
L. Chiu , M. T. Liu, High level specification of concurrency control in distributed database systems, Proceedings of the 10th international conference on Software engineering, p.309-317, April 11-15, 1988, Singapore
J. H. Reppy, Synchronous operations as first-class values, ACM SIGPLAN Notices, v.23 n.7, p.250-259, July 1988
Jean-Michael Helary , Claude Jard , Noël Plouzeau , Michel Raynal, Detection of stable properties in distributed applications, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.125-136, August 10-12, 1987, Vancouver, British Columbia, Canada
Edward E. Balkovich , Colin Whitby-Strevens, On the performance of decentralized software, ACM SIGMETRICS Performance Evaluation Review, v.9 n.2, p.173-180, Summer 1980
Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981
W. J. Dally, Finite-grain message passing concurrent computers, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.2-12, January 19-20, 1988, Pasadena, California, United States
C. Jesshope, Reconfigurable transputer systems, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.105-114, January 19-20, 1988, Pasadena, California, United States
Douglas L. Long , Lori A. Clarke, Task interaction graphs for concurrency analysis, Proceedings of the 11th international conference on Software engineering, p.44-52, May 1989, Pittsburgh, Pennsylvania, United States
J. S. Leu , D. P. Agrawal , J. Mauney, Modeling of parallel software for efficient computation communication overlap, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, p.569-575, December 1987, Dallas, Texas, United States
David Harel, Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness, Journal of the ACM (JACM), v.33 n.1, p.224-248, Jan. 1986
M. B. Wells , B. L. Kurtz, Teaching multiple programming paradigms: a proposal for a paradigm general pseudocode, ACM SIGCSE Bulletin, v.21 n.1, p.246-251, Feb. 1989
Arthur Bernstein , Paul K. Harter, Jr., Proving real-time properties of programs with temporal logic, ACM SIGOPS Operating Systems Review, v.15 n.5, p.1-11, December 1981
Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen , Kristen Nygaard, Abstraction mechanisms in the BETA programming language, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.285-298, January 24-26, 1983, Austin, Texas
Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
D Peleg, Concurrent dynamic logic, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.232-239, May 06-08, 1985, Providence, Rhode Island, United States
Franklyn T. Bradshaw , George W. Ernst , Raymond J. Hookway , William F. Ogden, Procedure semantics and language definition, ACM SIGPLAN Notices, v.15 n.6, p.28-33, June 1980
Robert W. Floyd, The paradigms of programming, Communications of the ACM, v.22 n.8, p.455-460, Aug. 1979
Hideharu Amano , Taisuke Boku , Tomohiro Kudoh, (SM)/sup 2/-II: A Large-Scale Multiprocessor for Sparse Matrix Calculations, IEEE Transactions on Computers, v.39 n.7, p.889-905, July 1990
James W. Gray, III, Report on the computer security foundations workshop VI, ACM SIGSAC Review, v.11 n.4, p.4-6, Oct. 1993
Hossein Saiedian , Elizabeth A. Unger, A formal specification tool for distributed office systems, ACM SIGSMALL/PC Notes, v.17 n.2, p.13-18, Summer 1991
Patrick Viry, Equational rules for rewriting logic, Theoretical Computer Science, v.285 n.2, p.487-517, 28 August 2002
Soonhoi Ha , Edward A. Lee, Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration, IEEE Transactions on Computers, v.40 n.11, p.1225-1238, November 1991
Toru Ishida , Yutaka Sasaki , Keiko Nakata , Yoshimi Fukuhara, A Meta-Level Control Architecture for Production Systems, IEEE Transactions on Knowledge and Data Engineering, v.7 n.1, p.44-52, February 1995
M. Young , R. M. Taylor, Combining Static Concurrency Analysis with Symbolic Execution, IEEE Transactions on Software Engineering, v.14 n.10, p.1499-1511, October 1988
Pankaj Jalote, Resilient Objects in Broadband Networks, IEEE Transactions on Software Engineering, v.15 n.1, p.68-72, January 1989
Patrick M. Lenders, A Generalized Message-Passing Mechanism for Communicating Sequential Processes, IEEE Transactions on Computers, v.37 n.6, p.646-651, June 1988
Pamela Zave, An Insider's Evaluation of PAISLey, IEEE Transactions on Software Engineering, v.17 n.3, p.212-225, March 1991
R. Bagrodia, Process Synchronization: Design and Performance Evaluation of Distributed Algorithms, IEEE Transactions on Software Engineering, v.15 n.9, p.1053-1065, September 1989
B. E. Wojcik , Z. M. Wojcik, Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection, IEEE Transactions on Software Engineering, v.15 n.12, p.1587-1595, December 1989
Rob Strom , Shaula Yemini, The NIL distributed systems programming language: a status report, ACM SIGPLAN Notices, v.20 n.5, May 1985
Leo Yuhsiang Liu , R. K. Shyamasundar, Static Analysis of Real-Time Distributed Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.373-388, April 1990
George J. Milne, The Formal Description and Verification of Hardware Timing, IEEE Transactions on Computers, v.40 n.7, p.811-826, July 1991
Ikuo Nakata , Masataka Sassa, Programming with Streams in a Pascal-Like Language, IEEE Transactions on Software Engineering, v.17 n.1, p.1-9, January 1991
N. H. Gehani , William D. Roome, Rendezvous Facilities: Concurrent C and the Ada Language, IEEE Transactions on Software Engineering, v.14 n.11, p.1546-1553, November 1988
Jeff Magee , Morris Sloman, Constructing Distributed Systems in Conic, IEEE Transactions on Software Engineering, v.15 n.6, p.663-675, June 1989
Kylie Williams , Robert Esser, Verification of the Futurebus+ cache coherence protocol: a case study in model checking, Proceedings of the 27th Australasian conference on Computer science, p.65-71, January 01, 2004, Dunedin, New Zealand
Ajay D. Kshemkalyani , Mukesh Singhal, A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases, IEEE Transactions on Knowledge and Data Engineering, v.11 n.6, p.880-895, November 1999
Marty Ossefort, Proving safety properties for a general communication protocol, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983
Ray Ford , Chris Marlin, Implementation prototypes in the development of programming language features, ACM SIGSOFT Software Engineering Notes, v.7 n.5, p.61-66, December 1982
A. K. Elmagarmid , N. Soundararajan , M. T. Liu, A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof, IEEE Transactions on Software Engineering, v.14 n.10, p.1443-1452, October 1988
K. Mani Chandy , Ian Foster, A Notation for Deterministic Cooperating Processes, IEEE Transactions on Parallel and Distributed Systems, v.6 n.8, p.863-871, August 1995
Pamela Zave, An overview of the PAISLey project-1984, ACM SIGSOFT Software Engineering Notes, v.9 n.4, p.12-19, July 1984
R. C. Shaw , P. N. Hudson , N. W. Davis, Introduction of a formal technique into a software development environment: early observations, ACM SIGSOFT Software Engineering Notes, v.9 n.2, p.54-79, April 1984
Dachuan Yu , Zhong Shao, Verification of safety properties for concurrent assembly code, ACM SIGPLAN Notices, v.39 n.9, September 2004
Peter J. McCann , Gruia-Catalin Roman, Compositional Programming Abstractions for Mobile Computing, IEEE Transactions on Software Engineering, v.24 n.2, p.97-110, February 1998
Hideyuki Tokuda , Eric G. Manning, An interprocess communication model for a distributed software testbed, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983
M. Fleury , R. P. Self , A. C. Downton, Development of a fine-grained parallel Karhunen-Loève transform, Journal of Parallel and Distributed Computing, v.64 n.4, p.520-535, April 2004
Fernando Herrera , Pablo Sánchez , Eugenio Villar, Modeling of CSP, KPN and SR systems with systemC, Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL'03, Kluwer Academic Publishers, Norwell, MA, 2004
Catuscia Palamidessi, Mobile calculi for distributed programming, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.74-75, October 06-08, 2002, Pittsburgh, PA, USA
Christos N. Nikolaou , Edmund M. Clarke , Nissim Francez , Stephen A. Schuman, A methodology for verifying request processing protocols, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983
K. Mani Chandy , Joseph Kiniry , Adam Rifkin , Daniel Zimmerman, Webs of Archived Distributed Computations for Asynchronous Collaboration, The Journal of Supercomputing, v.11 n.2, p.101-118, Oct. 1997
David C. Luckham , James Vera, An Event-Based Architecture Definition Language, IEEE Transactions on Software Engineering, v.21 n.9, p.717-734, September 1995
Colette Rolland, Database dynamics, ACM SIGMIS Database, v.14 n.3, p.32-43, Spring 1983
James M. Nead, On the semantics of control statements, ACM SIGPLAN Notices, v.14 n.11, November 1979
M. van Hulst , J.-J. Ch. Meyer, An epistemic proof system for parallel processes: extended abstract, Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge, p.243-254, March 13-16, 1994, Pacific Grove, California
Rushikesh K. Joshi , D. Janaki Ram, Anonymous Remote Computing: A Paradigm for Parallel Programming on Interconnected Workstations, IEEE Transactions on Software Engineering, v.25 n.1, p.75-90, January 1999
Hans Henrik Løvengreen , Dines Bjørner, On a formal model of the tasking concept in Ada, ACM SIGPLAN Notices, v.15 n.11, November 1980
Gurdip Singh, Constraint-based structuring of network protocols, Distributed Computing, v.12 n.1, p.1-12, March 1999
David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995
Eric Werner, Toward a theory of communication and cooperation for multiagent planning, Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge, March 07-09, 1988, Pacific Grove, California
Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.2, p.38-78, April 1981
Matthew Sacker , Andrew D. Brown , Andrew J. Rushton , Peter R. Wilson, A behavioral synthesis system for asynchronous circuits, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.12 n.9, p.978-994, September 2004
K. M. Chandy , J. Misra, A simple model of distributed programs based on implementation-hiding and process autonomy, ACM SIGPLAN Notices, v.15 n.7 and 8, p.26-35, July-August 1980
Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida
Yuan-Bao Shieh , Dipak Ghosal , Prasad R. Chintamaneni , Satish K. Tripathi, Modeling of Hierarchical Distributed Systems with Fault-Tolerance, IEEE Transactions on Software Engineering, v.16 n.4, p.444-457, April 1990
Anders P. Ravn , Jørgen Staunstrup, Interface models, Proceedings of the 3rd international workshop on Hardware/software co-design, September 22-24, 1994, Grenoble, France
Rajive L. Bagrodia , Chien-Chung Shen, MIDAS: Integrated Design and Simulation of Distributed Systems, IEEE Transactions on Software Engineering, v.17 n.10, p.1042-1058, October 1991
Nissim Francez , Brent Hailpern, Script: a communication abstraction mechanism, ACM SIGOPS Operating Systems Review, v.19 n.2, p.53-67, April 1985
Jordi Cortadella , Michael Kishinevsky , Luciano Lavagno , Alexandre Yakovlev, Deriving Petri Nets from Finite Transition Systems, IEEE Transactions on Computers, v.47 n.8, p.859-882, August 1998
M. Hakan Erdogmus , Robert Johnston, On the Specification and Synthesis of Communicating Processes, IEEE Transactions on Software Engineering, v.16 n.12, p.1412-1426, December 1990
Gregor Bochmann, Delay-Independent Design for Distributed Systems, IEEE Transactions on Software Engineering, v.14 n.8, p.1229-1237, August 1988
Luciano Baresi , Mauro Pezzè, Formal interpreters for diagram notations, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.1, p.42-84, January 2005
Daniel Le Métayer, Describing Software Architecture Styles Using Graph Grammars, IEEE Transactions on Software Engineering, v.24 n.7, p.521-533, July 1998
Steve Carr , Changpeng Fang , Tim Jozwowski , Jean Mayo , Ching-Kuang Shene, A communication library to support concurrent programming courses, ACM SIGCSE Bulletin, v.34 n.1, March 2002
Johannes Madsen, A computer system supporting data abstraction, ACM SIGOPS Operating Systems Review, v.15 n.1, p.45-72, January 1981
Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen , Kristen Nygaard, Multi-sequential execution in the BETA programming language, ACM SIGPLAN Notices, v.20 n.4, April 1985
Jaroslaw Milewski, Loslan implementation of the AMPL message-passing system, ACM SIGPLAN Notices, v.19 n.9, p.21-29, September 1984
Luigi Stringa, EMMA-an industrial experience on large multiprocessing architectures, ACM SIGARCH Computer Architecture News, v.11 n.3, p.326-333, June 1983
Eric M. Dashofy , André van der Hoek , Richard N. Taylor, A comprehensive approach for the development of modular software architecture description languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.2, p.199-245, April 2005
C. Jard , J. F. Monin , R. Groz, Development of Veda, a Prototyping Tool for Distributed Algorithms, IEEE Transactions on Software Engineering, v.14 n.3, p.339-352, March 1988
Fernando Castor Filho , Patrick H. S. Brito , Cecília Mary F. Rubira, A framework for analyzing exception flow in software architectures, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
Alfs T. Berztiss, Data abstraction, controlled iteration, and communicating processes, Proceedings of the ACM 1980 annual conference, p.197-203, January 1980
Alistair A. McEwan , Jonathan Saul, A High Speed Reconfigurable Firewall Based On Parameterizable FPGA-based Content Addressable Memories, The Journal of Supercomputing, v.19 n.1, p.93-103, May 2001
Jens Chr. Godskesen , Kim G. Larsen, Synthesizing distinguishing formulae for real time systems, Nordic Journal of Computing, v.2 n.3, p.338-357, Fall 1995
Kostas Kontogiannis, Toward program representation and program understanding using process algebras, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
R. B. Mueller-Thuns , D. G. Saab , R. F. Damiano , J. A. Abraham, Benchmarking Parallel Processing Platforms: An Applications Perspective, IEEE Transactions on Parallel and Distributed Systems, v.4 n.8, p.947-954, August 1993
Modular Verification of Software Components in C, IEEE Transactions on Software Engineering, v.30 n.6, p.388-402, June 2004
Martin Gogolla , Stefan Conrad , Grit Denker , Rudolf Herzig , Nikolaos Vlachantonis, A Development Environment for an Object Specification Language, IEEE Transactions on Knowledge and Data Engineering, v.7 n.3, p.505-508, June 1995
Mladen Berekovic , Sören Moch , Peter Pirsch, A scalable, clustered SMT processor for digital signal processing, ACM SIGARCH Computer Architecture News, v.32 n.3, p.62-69, June 2004
Massimo Franceschetti , Jehoshua Bruck, A Group Membership Algorithm with a Practical Specification, IEEE Transactions on Parallel and Distributed Systems, v.12 n.11, p.1190-1200, November 2001
Elizabeth Williams, Processor queueing disciplines in distributed systems, ACM SIGMETRICS Performance Evaluation Review, v.12 n.3, p.113-119, August 1984
Yuh-Jzer Joung, Quorum-Based Algorithms for Group Mutual Exclusion, IEEE Transactions on Parallel and Distributed Systems, v.14 n.5, p.463-476, May 2003
H. Zedan, Safety decomposition of distributed programs, ACM SIGPLAN Notices, v.20 n.8, August 1985
Peng Li , Binoy Ravindran , Syed Suhaib , Shahrooz Feizabadi, A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems, IEEE Transactions on Software Engineering, v.30 n.9, p.613-629, September 2004
Marta Kallstrom , Shreekant S. Thakkar, Programming Three Parallel Computers, IEEE Software, v.5 n.1, p.11-22, January 1988
J. A. Kirkham , A. Burns , R. J. Thomas, The use of structured systems analysis in the rapid creation of Information Management Systems prototypes written in Ada, ACM SIGAda Ada Letters, v.IV n.1, p.74-87, July-August 1984
Eoin A. O'Cearbhaill , Margaret O'Mahony, Parallel implementation of a transportation network model, Journal of Parallel and Distributed Computing, v.65 n.1, p.1-14, January 2005
Joep L. W. Kessels, Calculational derivation of a counter with bounded response time and bounded power dissipation, Distributed Computing, v.8 n.3, p.143-149, March 1995
Shmuel Katz , Doron Peled, Verification of distributed programs using representative interleaving sequences, Distributed Computing, v.6 n.2, p.107-120, September 1992
Paritosh K. Pandya , Mathai Joseph, P-A logic: a compositional proof system for distributed programs, Distributed Computing, v.5 n.1, p.37-54, June 1991
G. M. Lundy , Raymond E. Miller, Specification and analysis of a data transfer protocol using systems of communicating machines, Distributed Computing, v.5 n.3, p.145-157, December 1991
Bernadette Charron-Bost , Friedemann Mattern , Gerard Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, v.9 n.4, p.173-191, February 1996
Sigurd Meldal, A complete axiomatic semantics of spawning, Distributed Computing, v.5 n.3, p.159-174, December 1991
Ernst-Rüdiger Olderog , Heike Wehrheim, Specification and (property) inheritance in CSP-OZ, Science of Computer Programming, v.55 n.1-3, p.227-257, March 2005
Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996
Gary Marchionini , John Sibert, An agenda for human-computer interaction: science and engineering serving human needs, ACM SIGCHI Bulletin, v.23 n.4, p.17-32, Oct. 1991
Paul C. Attie , Nissim Francez , Orna Grumberg, Fairness and hyperfairness in multi-party interactions, Distributed Computing, v.6 n.4, p.245-254, July 1993
Xi Chen , Abhijit Davare , Harry Hsieh , Alberto Sangiovanni-Vincentelli , Yosinori Watanabe, Simulation based deadlock analysis for system level designs, Proceedings of the 42nd annual conference on Design automation, June 13-17, 2005, San Diego, California, USA
Marina C. Chen, A parallel language and its compilation to multiprocessor machines or VLSI, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.131-139, January 01, 1986, St. Petersburg Beach, Florida
William N. Scherer, III , Doug Lea , Michael L. Scott, Scalable synchronous queues, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, March 29-31, 2006, New York, New York, USA
Dines Bjørner, "What is a method?": an essay on some aspects of domain engineering, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
C. J. Harrison, ICPL: an initial concurrent programming language, ACM SIGCSE Bulletin, v.34 n.4, December 2002
Richard Hull , Jianwen Su, Tools for composite web services: a short overview, ACM SIGMOD Record, v.34 n.2, June 2005
Shivakant Mishra , Peng Xie, Interagent Communication and Synchronization Support in the DaAgent Mobile Agent-Based Computing System, IEEE Transactions on Parallel and Distributed Systems, v.14 n.3, p.290-306, March 2003
Sanjeev Kumar , Kai Li, Using model checking to debug device firmware, Proceedings of the 5th symposium on Operating systems design and implementation

Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading

, December 09-11, 2002, Boston, Massachusetts
Yih-Kuen Tsay , Rajive L. Bagrodia, Some impossibility results in interprocess synchronization, Distributed Computing, v.6 n.4, p.221-231, July 1993
Jo C. Ebergen, A formal approach to designing delay-insensitive circuits, Distributed Computing, v.5 n.3, p.107-119, December 1991
Nancy G. Leveson , Mats Per Erik Heimdahl , Holly Hildreth , Jon D. Reese, Requirements Specification for Process-Control Systems, IEEE Transactions on Software Engineering, v.20 n.9, p.684-707, September 1994
J. C. M. Baeten, A brief history of process algebra, Theoretical Computer Science, v.335 n.2-3, p.131-146, 23 May 2005
Keith Shafer , Mohan Ahuja, Implementation of hierarchical F-channels for high-performance distributed computing, Distributed Computing, v.8 n.4, p.211-218, June 1995
Sylvie Damy , Guy-René Perrin, Techniques for the design of communicating processes, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005
N. De Francesco , G. Vaglini, Description for a Tool Specifying and Prototyping Concurrent Programs, IEEE Transactions on Software Engineering, v.14 n.11, p.1554-1564, November 1988
Xiang Fu , Tevfik Bultan , Jianwen Su, Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, v.328 n.1-2, p.19-37, 29 November 2004
Patrícia Gomes Soares Florissi, Quality of service management automation in integrated distributed systems, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.18, October 31-November 03, 1994, Toronto, Ontario, Canada
Zbigniew M. Wójcik , Barbara E. Wójcik, Rough Grammar for Efficient and Fault-Tolerant Computing on a Distributed System, IEEE Transactions on Software Engineering, v.17 n.7, p.652-668, July 1991
Peter C. J. Graham, Using BINS for inter-process communication, ACM SIGPLAN Notices, v.20 n.2, February 1985
Peter B. Ladkin , Barbara B. Simons, Static analysis of multiway synchronization, Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research, p.39, October 31-November 03, 1994, Toronto, Ontario, Canada
John F. Fedak, A concurrent microprogramming facility, ACM SIGMICRO Newsletter, v.14 n.4, December 1983
D. A. Grove , P. D. Coddington, Modeling message-passing programs with a Performance Evaluating Virtual Parallel Machine, Performance Evaluation, v.60 n.1-4, p.165-187, May 2005
M. Evangelist , N. Francez , S. Katz, Multiparty Interactions for Interprocess Communication and Synchronization, IEEE Transactions on Software Engineering, v.15 n.11, p.1417-1426, November 1989
V. C. Barbosa, Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs, IEEE Transactions on Software Engineering, v.16 n.11, p.1311-1316, November 1990
Ioannis Vlahavas , Nick Bassiliades , Ilias Sakellariou , Martin Molina , Sascha Ossowski , Ivan Futó , Zoltán Pásztor , János Szeredi , Igor Velbitskiyi , Sergey Yershov , Igor Netesin, ExperNet: An Intelligent Multiagent System for WAN Management, IEEE Intelligent Systems, v.17 n.1, p.62-72, January 2002
T. E. Anderson , E. D. Lazowska , H. M. Levy, The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors, IEEE Transactions on Computers, v.38 n.12, p.1631-1644, December 1989
A. P. Moore, The Specification and Verified Decomposition of System Requirements Using CSP, IEEE Transactions on Software Engineering, v.16 n.9, p.932-948, September 1990
Leslie S. Smith, A Framework for Neural Net Specification, IEEE Transactions on Software Engineering, v.18 n.7, p.601-612, July 1992
Jochen Hoenicke , Ernst-Rüdiger Olderog, CSP-OZ-DC: a combination of specification techniques for processes, data and time, Nordic Journal of Computing, v.9 n.4, p.301-334, Winter 2002
Eugenio Battiston , Fiorella De Cindio , Giancarlo Mauri, Modular Algebraic Nets to Specify Concurrent Systems, IEEE Transactions on Software Engineering, v.22 n.10, p.689-705, October 1996
Xinyu Feng , Zhong Shao, Modular verification of concurrent assembly code with dynamic thread creation and termination, ACM SIGPLAN Notices, v.40 n.9, September 2005
Thomas R. Dean , James R. Cordy, A Syntactic Theory of Software Architecture, IEEE Transactions on Software Engineering, v.21 n.4, p.302-313, April 1995
K. L. Clark, PARLOG and its Applications, IEEE Transactions on Software Engineering, v.14 n.12, p.1792-1804, December 1988
Gruia-Catalin Roman , H. Conrad Cunningham, Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency, IEEE Transactions on Software Engineering, v.16 n.12, p.1361-1373, December 1990
Alan C. Shaw, Communicating Real-Time State Machines, IEEE Transactions on Software Engineering, v.18 n.9, p.805-816, September 1992
Pierre Wolper, Expressing interesting properties of programs in propositional temporal logic, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.184-193, January 01, 1986, St. Petersburg Beach, Florida
Masafumi Yamashita , Tsunehiko Kameda, Computing on Anonymous Networks: Part I-Characterizing the Solvable Cases, IEEE Transactions on Parallel and Distributed Systems, v.7 n.1, p.69-89, January 1996
Francesco Tisato , Roberto Zicari, The Xcode machine, ACM SIGSMALL Newsletter, v.10 n.1, p.12-23, February 1984
Pierre Wolper, Specification and synthesis of communicating processes using an extended temporal logic: (preliminary version), Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.20-33, January 25-27, 1982, Albuquerque, Mexico
Hiren D. Patel , Sandeep K. Shukla, Truly heterogeneous modeling with systemC, Formal methods and models for system design: a system level perspective, Kluwer Academic Publishers, Norwell, MA, 2004
F. Herrera , E. Villar, A framework for embedded system specification under different models of computation in SystemC, Proceedings of the 43rd annual conference on Design automation, July 24-28, 2006, San Francisco, CA, USA
Distributed microprogramming, ACM SIGMICRO Newsletter, v.19 n.1-2, p.11-12, June 1988
F. J. Burkowski , G. V. Cormack , G. D. P. Dueck, Architectural support for synchronous task communication, ACM SIGARCH Computer Architecture News, v.17 n.2, p.40-53, April 1989
Geoffrey M. Brown , Mohamed G. Gouda , Chuan-Lin Wu, Token Systems That Self-Stabilize, IEEE Transactions on Computers, v.38 n.6, p.845-852, June 1989
Peter Hibbard, Multiprocessor software design, Proceedings of the ACM 1980 annual conference, p.527-536, January 1980
Hans Henrik Løvengreen , Dines Bjørner, On a formal model of the tasking concept in Ada, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.213-222, January 1980
Stepehn S. Yau , Wonmo Hong, Verification of Concurrent Control Flow in Distributed Computer Systems, IEEE Transactions on Software Engineering, v.14 n.4, p.405-417, April 1988
Nozar Tabrizi , Michael J. Liebelt , Kamran Eshraghian, A Tabular Method for Guard Strengthening, Symmetrization, and Operator Reduction for Martin's Asynchronous Design Methodology, IEEE Transactions on Computers, v.46 n.9, p.1050-1054, September 1997
Richard D. Schlichting , Vicraj T. Thomas, Programming Language Support for Writing Fault-Tolerant Distributed Software, IEEE Transactions on Computers, v.44 n.2, p.203-212, February 1995
Patrick M. Lenders, Distributed Computing with Single Read-Single Write Variables, IEEE Transactions on Software Engineering, v.15 n.5, p.569-574, May 1989
Nigel Edwards, Fault tolerance support in distributed systems: a position paper, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
Mladen Berekovic , Tim Niggemeier, A distributed, simultaneously multi-threaded (SMT) processor with clustered scheduling windows for scalable DSP performance, Journal of Signal Processing Systems, v.50 n.2, p.201-229, February 2008
C. W. Armstrong , R. W. Ford , T. L. Freeman , G. D. Riley, NOAH: A CSP-based language for describing the behaviour of coupled models, Software—Practice & Experience, v.38 n.2, p.135-159, February 2008
Qasim Ali , Vijay S. Pai , Samuel P. Midkiff, Advanced collective communication in aspen, Proceedings of the 22nd annual international conference on Supercomputing, June 07-12, 2008, Island of Kos, Greece
Vincenzo De Florio , Chris Blondia, A survey of linguistic structures for application-level fault tolerance, ACM Computing Surveys (CSUR), v.40 n.2, p.1-37, April 2008
Denis Caromel, A solution to the explicit/implicit control dilemma, ACM SIGPLAN OOPS Messenger, v.2 n.2, p.21-25, Apr. 1991
Shangping Ren , Yue Yu , Nianen Chen , Jeffrey J.-P. Tsai , Kevin Kwiat, The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.2 n.3, p.10-es, September 2007
Deepinder Sidhu , Anthony Chung , Thomas P. Blumer, Experience with formal methods in protocol development, ACM SIGCOMM Computer Communication Review, v.21 n.2, p.81-101, April 1991
Wen Xu , Sanjeev Kumar , Kai Li, Fast Paths in Concurrent Programs, Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques, p.189-200, September 29-October 03, 2004
Lutz Schröder , Paulo Mateus, Universal aspects of probabilistic automata, Mathematical Structures in Computer Science, v.12 n.4, p.481-512, August 2002
Magne Haveraaen, Machine and collection abstractions for user-implemented data-parallel programming, Scientific Programming, v.8 n.4, p.231-246, December 2000
G. Delzanno , D. Galmiche , M. Martelli, A specification logic for concurrent object-oriented programming, Mathematical Structures in Computer Science, v.9 n.3, p.253-286, June 1999
Catuscia Palamidessi, Comparing the expressive power of the synchronous and asynchronous $pi$-calculi, Mathematical Structures in Computer Science, v.13 n.5, p.685-719, October 2003
Philippe Matherat , Marc-Thierry Jaekel, Concurrent computing machines and physical space-time, Mathematical Structures in Computer Science, v.13 n.5, p.771-798, October 2003
M. Luck , M. D'inverno , M. Fisher , Fomas'97 Contributors, Foundations of Multi-Agent Systems: Techniques, Tools and Theory, The Knowledge Engineering Review, v.13 n.3, p.297-302, October 1998
Raju Pandey , James C. Browne, Support for Implementation of Evolutionary Concurrent Systems, International Journal of Parallel Programming, v.29 n.4, p.401-431, August 2001
Michael J. Fischer , Michael S. Paterson, Fishspear: a priority queue algorithm, Journal of the ACM (JACM), v.41 n.1, p.3-30, Jan. 1994
C. B. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.596-619, Oct. 1983
P. Mehrotra , J. van Rosendale, Parallel language constructs for tensor product computations on loosely coupled architectures, Proceedings of the 1989 ACM/IEEE conference on Supercomputing, p.616-626, November 12-17, 1989, Reno, Nevada, United States
Krzysztof R. Apt , Nissim Francez, Modeling the distributed termination convention of CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.370-379, July 1984
N. Soundararajan, Axiomatic semantics of communicating sequential processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.647-662, Oct. 1984
Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985
Jan Cederquist , Mohammad Torabi Dashti, An intruder model for verifying liveness in security protocols, Proceedings of the fourth ACM workshop on Formal methods in security, p.23-32, November 03-03, 2006, Alexandria, Virginia, USA
Anupam Datta , Ante Derek , John C. Mitchell , Arnab Roy, Protocol Composition Logic (PCL), Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.311-358, April, 2007
Rimon Barr , Zygmunt J. Haas , Robbert van Renesse, JiST: an efficient approach to simulation using virtual machines: Research Articles, Software—Practice & Experience, v.35 n.6, p.539-576, May 2005
Carlos Baquero , Rui Oliveira , Francisco Moura, Integration of concurrency control in a language with subtyping and subclassing, Proceedings of the USENIX Conference on Object-Oriented Technologies on USENIX Conference on Object-Oriented Technologies (COOTS), p.13-13, June 26-29, 1995, Monterey, California
Monika Solanki , Antonio Cau , Hussein Zedan, ASDL: a wide spectrum language for designing web services, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland
John Reppy , Yingqi Xiao, Specialization of CML message-passing primitives, ACM SIGPLAN Notices, v.42 n.1, January 2007
Iliano Cervesato , Andre Scedrov, Relating State-Based and Process-Based Concurrency through Linear Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 165, p.145-176, November, 2006
André L. L. de Figueiredo , Wilkerson L. Andrade , Patrícia D. L. Machado, Generating interaction test cases for mobile phone systems from use case specifications, ACM SIGSOFT Software Engineering Notes, v.31 n.6, November 2006
R. Sekar , P. Uppuluri, Synthesizing fast intrusion prevention/detection systems from high-level specifications, Proceedings of the 8th conference on USENIX Security Symposium, p.6-6, August 23-26, 1999, Washington, D.C.
Sjoerd Meijer , Bart Kienhuis , Johan Walters , David Snuijf, Automatic partitioning and mapping of stream-based applications onto the Intel IXP Network processor, Proceedingsof the 10th international workshop on Software & compilers for embedded systems, April 20-20, 2007, Nice, France
Paul Tarvydas , Norm Sanford, Software architecture using fine-grained event-driven reactive components, Proceedings of the 2007 inaugural international conference on Distributed event-based systems, June 20-22, 2007, Toronto, Ontario, Canada
Gautam Upadhyaya , Vijay S. Pai , Samuel P. Midkiff, Expressing and exploiting concurrency in networked applications with aspen, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, March 14-17, 2007, San Jose, California, USA
David Basin , Ernst-Ruediger Olderog , Paul E. Sevinc, Specifying and analyzing security automata using CSP-OZ, Proceedings of the 2nd ACM symposium on Information, computer and communications security, March 20-22, 2007, Singapore
Nick Moffat , Michael Goldsmith, Assumption-Commitment Support for CSP Model Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 185, p.121-137, July, 2007
Fernando L. Pelayo , Maria L. Pelayo , Juan L. G. Guirao, Generating the syntactic and semantics graphs for a Markovian process algebra, Journal of Computational and Applied Mathematics, v.204 n.1, p.38-47, July, 2007
Kees van Hee , Olivia Oanea , Alexander Serebrenik , Natalia Sidorova , Marc Voorhoeve, History-based joins: Semantics, soundness and implementation, Data & Knowledge Engineering, v.64 n.1, p.24-37, January, 2008
David M. Arnow, DP: a library for building portable, reliable distributed applications, Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings, p.20-20, January 16-20, 1995, New Orleans, Louisiana
Kevin Donnelly , Matthew Fluet, Transactional events, ACM SIGPLAN Notices, v.41 n.9, September 2006
Maria Grazia Vigliotti , Iain Phillips , Catuscia Palamidessi, Tutorial on separation results in process calculi via leader election problems, Theoretical Computer Science, v.388 n.1-3, p.267-289, December, 2007
Iain Phillips , Maria Grazia Vigliotti, Symmetric electoral systems for ambient calculi, Information and Computation, v.206 n.1, p.34-72, January, 2008
Alexander Taubin , Jordi Cortadella , Luciano Lavagno , Alex Kondratyev , Ad Peeters, Design automation of real-life asynchronous devices and systems, Foundations and Trends® in Electronic Design Automation, v.2 n.1, p.1-133, January 2007
Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen, The when, why and why not of the BETA programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.10-1-10-57, June 09-10, 2007, San Diego, California
Xuejun Yang , Xiaobo Yan , Zuocheng Xing , Yu Deng , Jiang Jiang , Ying Zhang, A 64-bit stream processor architecture for scientific applications, ACM SIGARCH Computer Architecture News, v.35 n.2, May 2007
Raffi Khatchadourian , Neelam Soundarajan, Rely-guarantee approach to reasoning about aspect-oriented programs, Proceedings of the 5th workshop on Engineering properties of languages and aspect technologies, p.5-es, March 12-16, 2007, Vancouver, British Columbia, Canada
Henrik Pilegaard , Flemming Nielson , Hanne Riis Nielson, Active Evaluation Contexts for Reaction Semantics, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.1, p.57-70, May, 2007
Michael G. Hinchey , James L. Rash , Walter F. Truszkowski , Christopher A. Rouff , Roy Sterritt, YOU CAN'T GET THERE FROM HERE! PROBLEMS AND SOME POTENTIAL SOLUTIONS IN DEVELOPING NEW CLASSES OF COMPLEX SYSTEMS, Journal of Integrated Design & Process Science, v.9 n.1, p.1-16, January 2005
Andreas Witzel , Jonathan A. Zvesper, Epistemic logic and explicit knowledge in distributed programming, Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, May 12-16, 2008, Estoril, Portugal
Lars Grunske , Kirsten Winter , Nisansala Yatapanage, Defining the abstract syntax of visual languages with advanced graph grammars-A case study based on behavior trees, Journal of Visual Languages and Computing, v.19 n.3, p.343-379, June, 2008
Eric Senn , P. Perona, Hazard-free self-timed design: methodology and application, Integrated Computer-Aided Engineering, v.7 n.3, p.229-242, August 2000
Robin Milner, Elements of interaction, ACM Turing award lectures, ACM, New York, NY, 2007
Alain J. Martin , Steven M. Burns , T. K. Lee , Drazen Borkovic , Pieter J. Hazewindus, The design of an asynchronous microprocessor, ACM SIGARCH Computer Architecture News, v.17 n.4, p.99-110, June 1989
Edward A. Lee, Modeling concurrent real-time processes using discrete events, Annals of Software Engineering, v.7 n.1-4, p.25-45, 1999
Dines Bjørner, Pinnacles of software engineering: 25 years of formal methods, Annals of Software Engineering, v.10 n.1-4, p.11-66, 2000
Hideharu Amano , Taisuke Boku , Tomohiro Kudoh , Hideo Aiso, (SM)2-II: a new version of the sparse matrix solving machine, ACM SIGARCH Computer Architecture News, v.13 n.3, p.100-107, June 1985
R. N. Ibbett , P. C. Capon , N. P. Topham, MU6V: a parallel vector processing system, ACM SIGARCH Computer Architecture News, v.13 n.3, p.136-144, June 1985
Van Nguyen , David Gries , Susan Owicki, A model and temporal proof system for networks of processes, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.121-131, January 14-16, 1985, New Orleans, Louisiana, United States
T. S. Anantharaman , E. M. Clarke , M. J. Foster , B. Mishra, Compiling path expressions into VLSI circuits, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.191-204, January 14-16, 1985, New Orleans, Louisiana, United States
Leslie Lamport , Fred B. Schneider, Constraints: a uniform approach to aliasing and typing, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.205-216, January 14-16, 1985, New Orleans, Louisiana, United States
Raúl Monroy , Alan Bundy , Ian Green, Planning Proofs of Equations in CCS, Automated Software Engineering, v.7 n.3, p.263-304, July 2000
Katsuyuki Ochiai , Hiroe Iwasaki , Jiro Naganuma , Makoto Endo , Takeshi Ogura, High-speed software-based platform for embedded software of a single-chip MPEG-2 video encoder LSI with HDTV scalability, Proceedings of the conference on Design, automation and test in Europe, p.63-es, January 1999, Munich, Germany
Analoliy Doroshenko , Georgy Tseitlin, Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs, Fundamenta Informaticae, v.60 n.1-4, p.99-111, January 2004
Winfried Lamersdorf , G. Müller , Joachim W. Schmidt, Language Support for Office Modelling, Proceedings of the 10th International Conference on Very Large Data Bases, p.280-288, August 27-31, 1984
Stefano A. Cerri , Vincenzo Loia, A Concurrent, Distributed Architecture for Diagnostic Reasoning, User Modeling and User-Adapted Interaction, v.7 n.2, p.69-105, 1997
Michel Sintzoff, On Language Design for Program Construction, ALGOL Bulletin
A. Balboni , W. Fornaciari , D. Sciuto, Partitioning and Exploration Strategies in the TOSCA Co-Design Flow, Proceedings of the 4th International Workshop on Hardware/Software Co-Design, p.62, March 18-20, 1996
Frank Vahid , Linus Tauro, An Object-Oriented Communication Library for Hardware-Software CoDesign, Proceedings of the 5th International Workshop on Hardware/Software Co-Design, p.81, March 24-26, 1997
M Collado , R Morales , J J Moreno, A Modula-2 implementation of CSP, ACM SIGPLAN Notices, v.22 n.6, p.25-38, June 1987
Peter Grogono , Brian Shearing, Concurrent software engineering: preparing for paradigm shift, Proceedings of the 2008 C3S2E conference, May 12-13, 2008, Montreal, Quebec, Canada
Martin A. Musicante , Edinardo Potrich , Marcos Aurelio Carrero, A programming environment for web services, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
A. Burns , G. Davies, Pascal-FC: a language for teaching concurrent programming, ACM SIGPLAN Notices, v.23 n.1, p.58-66, Jan., 1988
Andrzej Szalas , Danuta Szczepanska, Exception handling in parallel computations, ACM SIGPLAN Notices, v.20 n.10, p.95-104, Oct. 1985
Pierre Castori, Semaphores revisited with MMS, ACM SIGOPS Operating Systems Review, v.29 n.3, p.49-63, July 1995
Chang Li, Concurrent programming language—LISPTALK, ACM SIGPLAN Notices, v.23 n.4, p.71-80, April, 1988
P. Kokol, Dining philosophers in JSD, ACM SIGSOFT Software Engineering Notes, v.12 n.4, p.27-33, Oct. 1987
Neelam Soundararajan , Roger L. Costello, Responsive sequential processes, ACM SIGPLAN Notices, v.23 n.3, p.53-62, March 1988
Mark Thompson , Hristo Nikolov , Todor Stefanov , Andy D. Pimentel , Cagkan Erbas , Simon Polstra , Ed F. Deprettere, A framework for rapid system-level exploration, synthesis, and programming of multimedia MP-SoCs, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, September 30-October 03, 2007, Salzburg, Austria
Ronald A. Olsson , Carole M. McNamee, Tools for teaching CCRs, monitors, and CSP concurrent programming concepts, ACM SIGCSE Bulletin, v.27 n.2, p.31-40, June 1995
Richard J. Botting, Into the fourth dimension—an introduction to dynamic analysis and design, ACM SIGSOFT Software Engineering Notes, v.11 n.2, p.36-48, April 1986
Watcharee Jumpamule , Jean-Luc Paillet , Norbert Giambiasi, Using Simulation for the Validation of High Level Specifications of Control Systems, Journal of Intelligent and Robotic Systems, v.38 n.3-4, p.345-375, December 2003
Uwe Petermann , Andrzej Szalas, A note on PCI: distributed processes communicating by interrupts, ACM SIGPLAN Notices, v.20 n.3, p.37-47, March 1985
N. B. Serbedzija, Asynchronous communication on Occam, ACM SIGPLAN Notices, v.23 n.12, p.51-62, Dec. 1988
Per Brinch Hansen, Efficient parallel recursion, ACM SIGPLAN Notices, v.30 n.12, p.9-16, Dec. 1995
Myra Jean Prelle , Ann M. Wollrath , Thomas J. Brando , Edward H. Bensley, The impact of selected concurrent language constructs on the Sam run-time system, ACM SIGPLAN OOPS Messenger, v.2 n.2, p.99-103, Apr. 1991
Olivier Roux, Another proposal for a concurrency control level in concurrent object-oriented languages, ACM SIGPLAN OOPS Messenger, v.2 n.2, p.104-108, Apr. 1991
Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979
Paul Butcher , Hussein Zedan, Lucinda—an overview, ACM SIGPLAN Notices, v.26 n.8, p.90-100, Aug. 1991
Cyrus F. Nourani, Parallel module specification on SLPX, ACM SIGPLAN Notices, v.27 n.1, p.114-115, Jan. 1992
Ralph C. Hilzer, Jr., Synchronization of the producer/consumer problem using semaphores, monitors, and the Ada rendezvous, ACM SIGOPS Operating Systems Review, v.26 n.3, p.31-39, July 1992
N. Plouzeau , M. Raynal, Elements for a course on the design of distributed algorithms, ACM SIGCSE Bulletin, v.24 n.2, p.35-40, June 1992
Juan Hernández , Juan Antonio Sanchez, RT-MODULA2: an embedded in MODULA2 language for writing concurrent and real time programs, ACM SIGPLAN Notices, v.27 n.2, p.26-36, Feb. 1992
W. L. Yeung , G. Topping, Implementing JSD designs in Ada: a tutorial, ACM SIGSOFT Software Engineering Notes, v.15 n.3, p.25-32, Jul. 1990
Burt Halstead , David Callahan , Jack Dennis , R. S. Nikhil , Vivek Sarkar, Programming, compilation, and resource management issues for multithreading (panel session II), ACM SIGARCH Computer Architecture News, v.22 n.1, p.19-33, March 1994
D. Talla, Notes on termination of OCCAM processes, ACM SIGPLAN Notices, v.25 n.9, p.17-24, Sep. 1990
C. Jung , E. Sibert, Communication types, ACM SIGPLAN Notices, v.25 n.9, p.25-30, Sep. 1990
H. von Issendorff, A theory of organization, ACM SIGPLAN Notices, v.25 n.9, p.31-38, Sep. 1990
D. D. Jung , E. Sibert, Indirect naming in distributed programming languages, ACM SIGPLAN Notices, v.24 n.9, p.126-132, Sept. 1989
Peter Wegner, Granularity of modules in object-based concurrent systems, ACM SIGPLAN Notices, v.24 n.4, p.46-49, April 1989
Gul Agha, Foundational issues in concurrent computing, ACM SIGPLAN Notices, v.24 n.4, p.60-65, April 1989
S. M. Kaplan , S. K. Goering, Garp: a graphical/textual language for concurrent programming, ACM SIGPLAN Notices, v.24 n.4, p.184-186, April 1989
Jean-Luc Paillet , Norbert Giambiasi, DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems, Journal of Intelligent and Robotic Systems, v.34 n.1, p.27-81, May 2002
R. Morales-Fernandez , J. J. Moreno-Navarro, CC-modula: a modula-2 tool to teach concurrent programming, ACM SIGCSE Bulletin, v.21 n.3, p.19-25, Sep. 1989
B. Andersen, Hypercube experiments with Joyce, ACM SIGPLAN Notices, v.24 n.8, p.13-22, Aug. 1989
Mark D'Inverno , Michael Luck , Michael Georgeff , David Kinny , Michael Wooldridge, The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System, Autonomous Agents and Multi-Agent Systems, v.9 n.1-2, p.5-53, July-September 2004
Xiaojun Liu , Edward A. Lee, CPO semantics of timed interactive actor networks, Theoretical Computer Science, v.409 n.1, p.110-125, December, 2008
Tirza Hirst, A Rice-style theorem for parallel automata, Information and Computation, v.207 n.1, p.1-13, January, 2009
Stephen A. Edwards , Nalini Vasudevan , Olivier Tardieu, Programming shared memory multiprocessors with deterministic message-passing concurrency: compiling SHIM to Pthreads, Proceedings of the conference on Design, automation and test in Europe, March 10-14, 2008, Munich, Germany
Ayaz Isazadeh , Jaber Karimpour, Viewcharts: Syntax and Semantics, Informatica, v.19 n.3, p.345-362, August 2008
Mike Hinchey, Desert Island Column, Automated Software Engineering, v.15 n.3-4, p.393-402, December 2008
Toufik Taibi, Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker, International Journal of Artificial Intelligence and Soft Computing, v.1 n.1, p.99-113, November 2008
Robert E. Filman , Daniel P. Friedman, Models, languages, and heuristics for distributed computing, Proceedings of the June 7-10, 1982, national computer conference, June 07-10, 1982, Houston, Texas
Mary S. Van Deusen, A bibliography on multiprocessor Lisp systems and applications, ACM SIGPLAN Lisp Pointers, v.1 n.6, p.51-57, April-May-June 1988
Robert W. Floyd, The paradigms of programming, ACM Turing award lectures, ACM, New York, NY, 2007
Prakash Chandrasekaran , Christopher L. Conway , Joseph M. Joy , Sriram K. Rajamani, Programming asynchronous layers with CLARITY, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
Derek A. Park, Concurrent programming in a nutshell, Journal of Computing Sciences in Colleges, v.23 n.4, April 2008
Fernando Herrera , Eugenio Villar, A framework for heterogeneous specification and design of electronic embedded systems in SystemC, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.12 n.3, p.1-31, August 2007
Cliff Click, IWannaBit!, Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), March 02-02, 2008, Seattle, Washington
Deepak Mathaikutty , Hiren Patel , Sandeep Shukla , Axel Jantsch, EWD: A metamodeling driven customizable multi-MoC system modeling framework, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.12 n.3, p.1-43, August 2007
Stephen A. Edwards , Jia Zeng, Static elaboration of recursion for concurrent software, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
Olivier Dalle, The OSA project: an example of component based software engineering techniques applied to simulation, Proceedings of the 2007 summer computer simulation conference, July 16-19, 2007, San Diego, California
Soonhoi Ha , Sungchan Kim , Choonseung Lee , Youngmin Yi , Seongnam Kwon , Young-Pyo Joo, PeaCE: A hardware-software codesign environment for multimedia embedded systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.12 n.3, p.1-25, August 2007
A. Romanel , C. Priami, On the decidability and complexity of the structural congruence for beta-binders, Theoretical Computer Science, v.404 n.1-2, p.156-169, September, 2008
Laura Effinger-Dean , Matthew Kehrt , Dan Grossman, Transactional events for ML, ACM SIGPLAN Notices, v.43 n.9, September 2008
Cengiz Togay , Ali H. Dogru , John Urcun Tanik, Systematic Component-Oriented development with Axiomatic Design, Journal of Systems and Software, v.81 n.11, p.1803-1815, November, 2008
Arjan Bink , Richard York, ARM996HS: The First Licensable, Clockless 32-Bit Processor Core, IEEE Micro, v.27 n.2, p.58-68, March 2007
Ivan Radojevic , Zoran Salcic , Partha S. Roop, Modeling Embedded Systems: From SystemC and Esterel to DFCharts, IEEE Design & Test, v.23 n.5, p.348-358, September 2006
Fang Yu , Chao Wang , Aarti Gupta , Tevfik Bultan, Modular verification of web services using efficient symbolic encoding and summarization, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
Robert Colvin , Lars Grunske , Kirsten Winter, Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems, Journal of Systems and Software, v.81 n.12, p.2163-2182, December, 2008
Scott Pakin, The Design and Implementation of a Domain-Specific Language for Network Performance Testing, IEEE Transactions on Parallel and Distributed Systems, v.18 n.10, p.1436-1449, October 2007
Anantha Narayanan , Gabor Karsai, Specifying the correctness properties of model transformations, Proceedings of the third international workshop on Graph and model transformations, May 12-12, 2008, Leipzig, Germany
Takashi Ajiro , Kensei Tsuchida, A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC, IEICE - Transactions on Information and Systems, v.E91-D n.1, p.1-14, January 2008
Nick Moffat , Michael Goldsmith, Assumption---Commitment Support for CSP Model Checking, Journal of Automated Reasoning, v.41 n.3-4, p.365-398, November 2008
Kevin Donnelly , Matthew Fluet, Transactional events1, Journal of Functional Programming, v.18 n.5-6, p.649-706, September 2008
Ka Lok Man, Formal specification and analysis of hardware systems in timed Chi, Nordic Journal of Computing, v.14 n.1, p.65-86, January 2007
Yingxu Wang, Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing, Fundamenta Informaticae, v.90 n.3, p.283-303, August 2009
Nalini Vasudevan , Stephen A. Edwards, Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
William N. Scherer, III , Doug Lea , Michael L. Scott, Scalable synchronous queues, Communications of the ACM, v.52 n.5, May 2009
Brian J. D'Auriol, The systems edge of the Parameterized Linear Array with a Reconfigurable Pipelined Bus System (LARPBS(p)) optical bus parallel computing model, The Journal of Supercomputing, v.48 n.2, p.183-209, May 2009
Xue-Jun Yang , Yu Deng , Li Wang , Xiao-Bo Yan , Jing Du , Ying Zhang , Gui-Bin Wang , Tao Tang, SRF coloring: stream register file allocation via graph coloring, Journal of Computer Science and Technology, v.24 n.1, p.152-164, January 2009
Greg Barish , Craig A. Knoblock, An expressive language and efficient execution system for software agents, Journal of Artificial Intelligence Research, v.23 n.1, p.625-666, January 2005
Christopher Stuart, An implementation of a multi-agent plan synchronizer, Proceedings of the 9th international joint conference on Artificial intelligence, p.1031-1033, August 18-23, 1985, Los Angeles, California
Yutaka Kanayama, Concurrent programming of intelligent robots, Proceedings of the Eighth international joint conference on Artificial intelligence, p.834-838, August 08-12, 1983, Karlsruhe, West Germany
Giuliano Pacini , Franco Turini, Demonizing production systems, Proceedings of the Eighth international joint conference on Artificial intelligence, p.862-866, August 08-12, 1983, Karlsruhe, West Germany
Eliezer L. Lozinskii, Evaluating queries in deductive databases by generating, Proceedings of the 9th international joint conference on Artificial intelligence, p.173-177, August 18-23, 1985, Los Angeles, California
Cedric Koch-Hofer , Marc Renaudin , Yvain Thonnart , Pascal Vivet, ASC, a SystemC Extension for Modeling Asynchronous Systems, and Its Application to an Asynchronous NoC, Proceedings of the First International Symposium on Networks-on-Chip, p.295-306, May 07-09, 2007
Michal Armoni , Mordechai Ben-Ari, The concept of nondeterminism: its development and implications for teaching, ACM SIGCSE Bulletin, v.41 n.2, June 2009
Andy D. Pimentel , Cagkan Erbas , Simon Polstra, A Systematic Approach to Exploring Embedded System Architectures at Multiple Abstraction Levels, IEEE Transactions on Computers, v.55 n.2, p.99-112, February 2006

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Logic and constraint programming

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming

          Nouns: CSP
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Concurrent, distributed, and parallel languages

  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.2 Modes of Computation
          Subjects: Parallelism and concurrency


General Terms:
Design, Languages, Performance, Theory


Keywords:
classes, concurrency, conditional critical regions, coroutines, data representations, guarded commands, input, iterative arrays, monitors, multiple entries, multiple exits, nondeterminacy, output, parallel programming, procedures, program structures, programming, programming languages, programming primitives, recursion

Collaborative Colleagues:
C. A. R. Hoare: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player