Skip header Section
Skip Bibliometrics Section
Parallel program design: a foundationJanuary 1988
- Author:
- K. Mani Chandy
Abstract
No abstract available.
Cited By
Do C, Phyo Y, Riesco A and Ogata K (2023). Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way, ACM Transactions on Software Engineering and Methodology, 32:6, (1-38), Online publication date: 30-Nov-2023.- Liu Z, Teng J and Liu B Multi-dimensional Abstraction and Decomposition for Separation of Concerns Dependable Software Engineering. Theories, Tools, and Applications, (152-170)
- Doroshenko A, Ivanenko P and Yatsenko O (2023). Formal Techniques for Development and Auto-tuning of Parallel Programs, SN Computer Science, 4:2, Online publication date: 15-Feb-2023.
- Rumreich L and Sivilotti P An Eventually Perfect Failure Detector on ADD Channels Using Clustering Networked Systems, (149-166)
- Calegari R, Ciatto G, Mascardi V and Omicini A (2020). Logic-based technologies for multi-agent systems: a systematic literature review, Autonomous Agents and Multi-Agent Systems, 35:1, Online publication date: 1-Apr-2021.
- Hesselink W (2021). UNITY and Büchi automata, Formal Aspects of Computing, 33:2, (185-205), Online publication date: 1-Mar-2021.
- Choppella V, Sanjeev A, Viswanath K and Jayaraman B Generalised Dining Philosophers as Feedback Control Distributed Computing and Internet Technology, (144-164)
- Chevrou F, Hurault A, Nakajima S and Quéinnec P A Map of Asynchronous Communication Models Formal Methods. FM 2019 International Workshops, (307-322)
- Dubslaff C Compositional Feature-Oriented Systems Software Engineering and Formal Methods, (162-180)
- Liu Z, Bowen J, Liu B, Tyszberowicz S and Zhang T Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling Engineering Trustworthy Software Systems, (159-219)
- Aravind A and Hesselink W (2019). Group Mutual Exclusion by Fetch-and-increment, ACM Transactions on Parallel Computing, 5:4, (1-29), Online publication date: 8-Mar-2019.
- Bramas Q, Foreback D, Nesterenko M and Tixeuil S (2019). Packet Efficient Implementation of the Omega Failure Detector, Theory of Computing Systems, 63:2, (237-260), Online publication date: 1-Feb-2019.
- Chandy K and Bunn J Compositional structures for streaming applications Proceedings of the 20th International Conference on Distributed Computing and Networking, (352-361)
- Bijo S, Johnsen E, Pun K, Seidl C and Tarifa S Deployment by Construction for Multicore Architectures Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (448-465)
- Walker H (2018). CLASSROOM VIGNETTESSoftware correctness and usefulness in the classroom, ACM Inroads, 9:1, (28-32), Online publication date: 30-Jan-2018.
- Jääskeläinen A, Järvinen H and Tiusanen M Concurrent execution system for action languages Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, (157-160)
- Hesselink W (2017). Tournaments for mutual exclusion: verification and concurrent complexity, Formal Aspects of Computing, 29:5, (833-852), Online publication date: 1-Sep-2017.
- Peters A, Kitchin D, Thywissen J and Cook W (2016). OrcO: a concurrency-first approach to objects, ACM SIGPLAN Notices, 51:10, (548-567), Online publication date: 5-Dec-2016.
- You Z and Xue J Orchestration Combinators in Apla+ Language 6th International Workshop on Structured Object-Oriented Formal Language and Method - Volume 10189, (3-14)
- Klinkhamer A and Ebnenasir A (2016). Shadow/Puppet Synthesis, IEEE Transactions on Parallel and Distributed Systems, 27:11, (3338-3350), Online publication date: 1-Nov-2016.
- Hoang T, Schneider S, Treharne H and Williams D (2016). Foundations for using linear temporal logic in Event-B refinement, Formal Aspects of Computing, 28:6, (909-935), Online publication date: 1-Nov-2016.
- Peters A, Kitchin D, Thywissen J and Cook W OrcO: a concurrency-first approach to objects Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, (548-567)
- Hudon S, Hoang T and Ostroff J (2016). The Unit-B method, Software and Systems Modeling (SoSyM), 15:4, (1091-1116), Online publication date: 1-Oct-2016.
- De S and De S (2016). Modeling decoupled mobile cloud computing using Mobile UNITY, Concurrency and Computation: Practice & Experience, 28:10, (2811-2855), Online publication date: 1-Jul-2016.
- Chandy K Theory and implementation of a distributed event based platform Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, (205-213)
- Boussabbeh M, Tounsi M, Mosbah M and Kacem A Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions Proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 9675, (198-212)
- Bensalem S, Bozga M, Legay A, Nguyen T, Sifakis J and Yan R (2016). Component-based verification using incremental design and invariants, Software and Systems Modeling (SoSyM), 15:2, (427-451), Online publication date: 1-May-2016.
- Hesselink W (2016). Correctness and concurrent complexity of the Black-White Bakery Algorithm, Formal Aspects of Computing, 28:2, (325-341), Online publication date: 1-Apr-2016.
- Bourke T, Glabbeek R and Höfner P (2016). Mechanizing a Process Algebra for Network Protocols, Journal of Automated Reasoning, 56:3, (309-341), Online publication date: 1-Mar-2016.
- Roohitavaf M and Kulkarni S Stabilization and fault-tolerance in presence of unchangeable environment actions Proceedings of the 17th International Conference on Distributed Computing and Networking, (1-10)
- Bonakdarpour B, Devismes S and Petit F (2016). Snap-stabilizing committee coordination, Journal of Parallel and Distributed Computing, 87:C, (26-42), Online publication date: 1-Jan-2016.
- Pellauer M, Parashar A, Adler M, Ahsan B, Allmon R, Crago N, Fleming K, Gambhir M, Jaleel A, Krishna T, Lustig D, Maresh S, Pavlov V, Rayess R, Zhai A and Emer J (2015). Efficient Control and Communication Paradigms for Coarse-Grained Spatial Architectures, ACM Transactions on Computer Systems, 33:3, (1-32), Online publication date: 11-Sep-2015.
- Olderog E and Swaminathan M (2015). Structural transformations for data-enriched real-time systems, Formal Aspects of Computing, 27:4, (727-750), Online publication date: 1-Jul-2015.
- Wang F (2015). Model-checking fair dense-time systems with propositions and events, International Journal on Software Tools for Technology Transfer (STTT), 17:2, (223-243), Online publication date: 1-Apr-2015.
- Bae K and Meseguer J (2015). Model checking linear temporal logic of rewriting formulas under localized fairness, Science of Computer Programming, 99:C, (193-234), Online publication date: 1-Mar-2015.
- Bensalem S, Bozga M, Quilbeuf J and Sifakis J (2015). Optimized distributed implementation of multiparty interactions with Restriction, Science of Computer Programming, 98:P2, (293-316), Online publication date: 1-Feb-2015.
- Bonakdarpour B, Hajisheykhi R and Kulkarni S Knowledge-Based Automated Repair of Authentication Protocols Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (132-147)
- Ben Khadra M, Bai Y and Schneider K High level modeling of elastic circuits in SystemC Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-8)
- Brandt J, Schneider K and Bai Y (2014). Passive code in synchronous programs, ACM Transactions on Embedded Computing Systems, 13:2s, (1-25), Online publication date: 1-Jan-2014.
- Lin Y, Bonakdarpour B and Kulkarni S Automated Addition of Fault-Tolerance under Synchronous Semantics 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems - Volume 8255, (266-280)
- Cardoso R, Zatelli M, Hübner J and Bordini R Towards benchmarking actor- and agent-based programming languages Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control, (115-126)
- Modular compilation of guarded atomic actions Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign, (177-188)
- Translating synchronous guarded actions to interleaved guarded actions Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign, (167-176)
- Dong R, Faber J, Ke W and Liu Z rCOS Unifying Theories of Programming and Formal Engineering Methods, (1-66)
- Parashar A, Pellauer M, Adler M, Ahsan B, Crago N, Lustig D, Pavlov V, Zhai A, Gambhir M, Jaleel A, Allmon R, Rayess R, Maresh S and Emer J (2013). Triggered instructions, ACM SIGARCH Computer Architecture News, 41:3, (142-153), Online publication date: 26-Jun-2013.
- Parashar A, Pellauer M, Adler M, Ahsan B, Crago N, Lustig D, Pavlov V, Zhai A, Gambhir M, Jaleel A, Allmon R, Rayess R, Maresh S and Emer J Triggered instructions Proceedings of the 40th Annual International Symposium on Computer Architecture, (142-153)
- Namjoshi K and Trefler R Uncovering Symmetries in Irregular Process Networks Proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 7737, (496-514)
- Mosbahi O (2013). Combining Formal Methods for the Development of Reactive Systems, ACM Transactions on Embedded Computing Systems, 12:1, (1-29), Online publication date: 1-Jan-2013.
- Ogata K and Thi Thanh Huyen P Specification and model checking of the chandy and lamport distributed snapshot algorithm in rewriting logic Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering, (87-102)
- Bensalem S, Bozga M, Peled D and Quilbeuf J Knowledge based transactional behavior Proceedings of the 8th international conference on Hardware and Software: verification and testing, (40-55)
- Bensalem S, Bozga M, Quilbeuf J and Sifakis J Optimized distributed implementation of multiparty interactions with observation Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, (71-82)
- Interactive verification of synchronous systems Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (75-84)
- Dongol B and Hayes I Deriving real-time action systems controllers from multiscale system specifications Proceedings of the 11th international conference on Mathematics of Program Construction, (102-131)
- Bensalem S, Bozga M, Quilbeuf J and Sifakis J Knowledge-Based distributed conflict resolution for multiparty interactions and priorities Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems, (118-134)
- Bonakdarpour B and Kulkarni S (2012). Automated model repair for distributed programs, ACM SIGACT News, 43:2, (85-107), Online publication date: 11-Jun-2012.
- King M, Dave N and Arvind (2012). Automatic generation of hardware/software interfaces, ACM SIGPLAN Notices, 47:4, (325-336), Online publication date: 1-Jun-2012.
- Hsieh K, Lai C, Lai S and Lee J (2012). Parallelization of Belief Propagation on Cell Processors for Stereo Vision, ACM Transactions on Embedded Computing Systems, 11S:1, (1-15), Online publication date: 1-Jun-2012.
- King M, Dave N and Arvind (2012). Automatic generation of hardware/software interfaces, ACM SIGARCH Computer Architecture News, 40:1, (325-336), Online publication date: 18-Apr-2012.
- King M, Dave N and Arvind Automatic generation of hardware/software interfaces Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, (325-336)
- Hung S, Chiu P and Shih C Building a scalable and portable message-passing library for embedded multicore systems Proceedings of the 2011 ACM Symposium on Research in Applied Computation, (31-37)
- Hoang T and Abrial J Reasoning about liveness properties in event-B Proceedings of the 13th international conference on Formal methods and software engineering, (456-471)
- Basu A, Bensalem S, Bozga M, Bourgos P and Sifakis J Rigorous system design Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science, (1-19)
- Bonakdarpour B, Bozga M and Quilbeuf J Automated distributed implementation of component-based models with priorities Proceedings of the ninth ACM international conference on Embedded software, (59-68)
- Nikhil R (2011). Abstraction in hardware system design, Communications of the ACM, 54:10, (36-44), Online publication date: 1-Oct-2011.
- Chandy K, Go B, Mitra S, Pilotto C and White J (2011). Verification of distributed systems with local–global predicates, Formal Aspects of Computing, 23:5, (649-679), Online publication date: 1-Sep-2011.
- Rocha C and Meseguer J Proving safety properties of rewrite theories Proceedings of the 4th international conference on Algebra and coalgebra in computer science, (314-328)
- Méry D and Singh N Medical protocol diagnosis using formal methods Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems, (1-20)
- Nikhil R (2011). Abstraction in Hardware System Design, Queue, 9:8, (40-54), Online publication date: 1-Aug-2011.
- Bai Y, Brandt J and Schneider K SMT-based optimization for synchronous programs Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems, (11-20)
- Deng Y, Grumbach S and Monin J A framework for verifying data-centric protocols Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems, (106-120)
- Gamble M, Gamble R and Hale M Security policy foundations in context UNITY Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, (8-14)
- Shimony B, Nikolaidis I, Gburzynski P and Stroulia E On coordination tools in the PicOS tuples system Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, (19-24)
- Agarwal S, Joshi S and Shyamasundar R Distributed generalized dynamic barrier synchronization Proceedings of the 12th international conference on Distributed computing and networking, (143-154)
- Banâtre J, Morin C and Priol T Fault tolerant autonomic computing systems in a chemical setting Dependable and Historic Computing, (118-129)
- Duarte C Mathematical models of object-based distributed systems Formal modeling, (57-73)
- Freiling F, Guerraoui R and Kuznetsov P (2011). The failure detector abstraction, ACM Computing Surveys, 43:2, (1-40), Online publication date: 1-Jan-2011.
- Futatsugi K Fostering proof scores in CafeOBJ Proceedings of the 12th international conference on Formal engineering methods and software engineering, (1-20)
- Bonakdarpour B, Bozga M, Jaber M, Quilbeuf J and Sifakis J From high-level component-based models to distributed implementations Proceedings of the tenth ACM international conference on Embedded software, (209-218)
- Lu Y, Zhou H, Shang L and Zeng X (2010). Multicore parallelization of min-cost flow for CAD applications, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 29:10, (1546-1557), Online publication date: 1-Oct-2010.
- Basu A, Bonakdarpour B, Bozga M and Sifakis J Systematic correct construction of self-stabilizing systems Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems, (4-18)
- You Z, Xue J and Ying S Categorial semantics of a solution to distributed dining philosophers problem Proceedings of the 4th international conference on Frontiers in algorithmics, (172-184)
- Cohen A, Namjoshi K and Sa'ar Y A dash of fairness for compositional reasoning Proceedings of the 22nd international conference on Computer Aided Verification, (543-557)
- Compilation of imperative synchronous programs with refined clocks Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (209-218)
- A design flow based on modular refinement Proceedings of the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (11-20)
- Dongol B and Hayes I Compositional action system derivation using enforced properties Proceedings of the 10th international conference on Mathematics of program construction, (119-139)
- Brandt J, Schneider K and Shukla S (2010). Translating concurrent action oriented specifications to synchronous guarded actions, ACM SIGPLAN Notices, 45:4, (47-56), Online publication date: 13-Apr-2010.
- Brandt J, Schneider K and Shukla S Translating concurrent action oriented specifications to synchronous guarded actions Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, (47-56)
- Lin H, Sirisaengtaksin O and Chen P (2010). A cluster computing environment at a small institution to support faculty/student projects, Journal of Computing Sciences in Colleges, 25:4, (30-36), Online publication date: 1-Apr-2010.
- Welch P and Pedersen J (2010). Santa Claus, ACM Transactions on Programming Languages and Systems, 32:4, (1-37), Online publication date: 1-Apr-2010.
- Bae K and Meseguer J The linear temporal logic of rewriting Maude model checker Proceedings of the 8th international conference on Rewriting logic and its applications, (208-225)
- Ferro L and Pierre L Formal semantics for PSL modeling layer and application to the verification of transactional models Proceedings of the Conference on Design, Automation and Test in Europe, (1207-1212)
- Chen X, Yang Y, Gopalakrishnan G and Chou C (2010). Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols, Formal Methods in System Design, 36:1, (37-64), Online publication date: 1-Feb-2010.
- Abujarad F and Kulkarni S Multicore Constraint-Based Automated Stabilization Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, (47-61)
- van de Pol J and Timmer M State Space Reduction of Linear Processes Using Control Flow Reconstruction Automated Technology for Verification and Analysis, (54-68)
- Shyamasundar R and Agarwal S Brief announcement Proceedings of the 28th ACM symposium on Principles of distributed computing, (274-275)
- Lu Y, Zhou H, Shang L and Zeng X Multicore parallel min-cost flow algorithm for CAD applications Proceedings of the 46th Annual Design Automation Conference, (832-837)
- Brandt J and Schneider K Static data-flow analysis of synchronous programs Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign, (161-170)
- Park K, Park H, Jeun W and Ha S (2009). Boolean circuit programming, Journal of Discrete Algorithms, 7:2, (267-277), Online publication date: 1-Jun-2009.
- Ebnenasir A and Beik R Developing parallel programs Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, (1-8)
- Aştefănoaei L, de Boer F and Dastani M The refinement of choreographed multi-agent systems Proceedings of the 7th international conference on Declarative Agent Languages and Technologies, (20-34)
- Brandt J and Schneider K Separate compilation for synchronous programs Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems, (1-10)
- Danturi P, Nesterenko M and Tixeuil S (2009). Self-stabilizing philosophers with generic conflicts, ACM Transactions on Autonomous and Adaptive Systems, 4:1, (1-20), Online publication date: 1-Jan-2009.
- Bonakdarpour B, Ebnenasir A and Kulkarni S (2009). Complexity results in revising UNITY programs, ACM Transactions on Autonomous and Adaptive Systems, 4:1, (1-28), Online publication date: 1-Jan-2009.
- Stehr M (2008). Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation, Fundamenta Informaticae, 82:4, (311-340), Online publication date: 1-Dec-2008.
- Samanta R, Deshmukh J and Emerson E Automatic generation of local repairs for Boolean programs Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, (1-10)
- Stehr M (2008). Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation, Fundamenta Informaticae, 82:4, (311-340), Online publication date: 30-Jul-2008.
- Kundu S, Lerner S and Gupta R Validating High-Level Synthesis Proceedings of the 20th international conference on Computer Aided Verification, (459-472)
- Cohen A and Namjoshi K Local Proofs for Linear-Time Properties of Concurrent Programs Proceedings of the 20th international conference on Computer Aided Verification, (149-161)
- Astefanoaei L and de Boer F Model-checking agent refinement Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2, (705-712)
- Nakamura M, Kong W, Ogata K and Futatsugi K (2008). A Specification Translation from Behavioral Specifications to Rewrite Specifications, IEICE - Transactions on Information and Systems, E91-D:5, (1492-1503), Online publication date: 1-May-2008.
- Demirbas M, Soysal O and Hussain M TRANSACT Proceedings of the 7th international conference on Information processing in sensor networks, (295-306)
- Vassev E, Hinchey M and Paquet J Towards an ASSL specification model for NASA swarm-based exploration missions Proceedings of the 2008 ACM symposium on Applied computing, (1652-1657)
- Dongol B and Mooij A (2007). Streamlining progress-based derivations of concurrent programs, Formal Aspects of Computing, 20:2, (141-160), Online publication date: 1-Mar-2008.
- Dévai G (2008). Programming language elements for correctness proofs, Acta Cybernetica, 18:3, (403-425), Online publication date: 1-Jan-2008.
- Freiling F and Jhumka A Global predicate detection in distributed systems with small faults Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems, (296-310)
- Mooij A Calculating and composing progress properties in terms of the leads-to relation Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, (366-386)
- Mooij A Calculating and Composing Progress Properties in Terms of the Leads-to Relation Formal Methods and Software Engineering, (366-386)
- Freiling F and Jhumka A Global Predicate Detection in Distributed Systems with Small Faults Stabilization, Safety, and Security of Distributed Systems, (296-310)
- Soundarajan N, Dovland J and Hallstrom J Tracing correct usage of design patterns Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, (163-167)
- Atreya R, Mittal N and Peri S (2007). A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set, IEEE Transactions on Parallel and Distributed Systems, 18:10, (1345-1360), Online publication date: 1-Oct-2007.
- Degerlund F and Sere K A framework for Incorporating trust into formal systems development Proceedings of the 4th international conference on Theoretical aspects of computing, (154-168)
- Colvin R and Dongol B Verifying lock-freedom using well-founded orders Proceedings of the 4th international conference on Theoretical aspects of computing, (124-138)
- Chen T, Ploeger B, van de Pol J and Willemse T Equivalence checking for infinite systems using parameterized Boolean equation systems Proceedings of the 18th international conference on Concurrency Theory, (120-135)
- Ouranos I, Stefaneas P and Frangos P (2007). An Algebraic Framework for Modeling of Mobile Systems, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E90-A:9, (1986-1999), Online publication date: 1-Sep-2007.
- Ling S, Loke S and Indrawan M Towards a model of interaction for mutual aware devices and everyday artifacts Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing, (184-194)
- Meyer J Our Quest for the Holy Grail of Agent Verification Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods, (2-9)
- Aguirre N, Regis G and Maibaum T Verifying temporal properties of community designs Proceedings of the 6th international conference on Integrated formal methods, (1-20)
- Sivilotti P and Pike S (2007). A collection of kinesthetic learning activities for a course on distributed computing, ACM SIGACT News, 38:2, (56-74), Online publication date: 1-Jun-2007.
- Jones C (2007). Splitting atoms safely, Theoretical Computer Science, 375:1-3, (109-119), Online publication date: 20-Apr-2007.
- Rouff C, Hinchey M, Pena J and Ruiz-Cortes A Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems Proceedings of the 2007 IEEE Swarm Intelligence Symposium, (348-355)
- Sivilotti P and Pike S (2007). The suitability of kinesthetic learning activities for teaching distributed algorithms, ACM SIGCSE Bulletin, 39:1, (362-366), Online publication date: 7-Mar-2007.
- Sivilotti P and Pike S The suitability of kinesthetic learning activities for teaching distributed algorithms Proceedings of the 38th SIGCSE technical symposium on Computer science education, (362-366)
- Chen Z, Li X, Liu Z, Stolz V and Yang L Harnessing rCOS for tool support Formal methods and hybrid real-time systems, (83-114)
- Galilee B, Mamalet F, Renaudin M and Coulon P (2007). Parallel Asynchronous Watershed Algorithm-Architecture, IEEE Transactions on Parallel and Distributed Systems, 18:1, (44-56), Online publication date: 1-Jan-2007.
- Danturi P, Nesterenko M and Tixeuil S Self-stabilizing philosophers with generic conflicts Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems, (214-230)
- Bonakdarpour B and Kulkarni S Incremental synthesis of fault-tolerant real-time programs Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems, (122-136)
- Petre L, Sere K and Waldén M A language for modeling network availability Proceedings of the 8th international conference on Formal Methods and Software Engineering, (639-659)
- Dongol B Formalising progress properties of non-blocking programs Proceedings of the 8th international conference on Formal Methods and Software Engineering, (284-303)
- Li X, Misra J and Plaxton C (2006). Concurrent Maintenance of Rings, Distributed Computing, 19:2, (126-148), Online publication date: 1-Oct-2006.
- Abdulla P, Jonsson B, Rezine A and Saksena M Proving liveness by backwards reachability Proceedings of the 17th international conference on Concurrency Theory, (95-109)
- Bonakdarpour B and Kulkarni S Automated incremental synthesis of timed automata Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology, (261-276)
- Dongol B and Mooij A Progress in deriving concurrent programs Proceedings of the 8th international conference on Mathematics of Program Construction, (140-161)
- Ding J, Clarke P, Xu D, He X and Deng Y (2006). A formal model-based approach for developing an interoperable mobile agent system, Multiagent and Grid Systems, 2:4, (401-412), Online publication date: 1-Jul-2006.
- Fokkink W, Pang J and De Pol J (2006). Cones and foci, Formal Methods in System Design, 29:1, (1-31), Online publication date: 1-Jul-2006.
- Cuesta C, del Pilar Romay M, de la Fuente P and Barrio-Solórzano M Temporal superimposition of aspects for dynamic software architecture Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (93-107)
- Montangero C and Semini L A logical view of choreography Proceedings of the 8th international conference on Coordination Models and Languages, (179-193)
- Hélouët L, Hénin T and Chevrier C Automating scenario merging Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles, (64-81)
- Solanki M, Cau A and Zedan H ASDL Proceedings of the 15th international conference on World Wide Web, (687-696)
- Meron D and Mermet B A tool architecture to verify properties of multiagent system at runtime Proceedings of the 4th international conference on Programming multi-agent systems, (201-216)
- Charpentier M (2006). Composing invariants, Science of Computer Programming, 60:3, (221-243), Online publication date: 1-May-2006.
- Jones C (2006). An Approach to Splitting Atoms Safely, Electronic Notes in Theoretical Computer Science (ENTCS), 155, (43-60), Online publication date: 1-May-2006.
- Ebnenasir A, Kulkarni S and Bonakdarpour B Revising UNITY programs Proceedings of the 9th international conference on Principles of Distributed Systems, (275-290)
- Oliveira C, Wermelinger M, Fiadeiro J and Lopes A (2005). Modelling the GSM Handover Protocol in CommUnity, Electronic Notes in Theoretical Computer Science (ENTCS), 141:3, (3-25), Online publication date: 1-Dec-2005.
- Barradas H and Bert D A fixpoint semantics of event systems with and without fairness assumptions Proceedings of the 5th international conference on Integrated Formal Methods, (327-346)
- Oehlerking J, Dhama A and Theel O Towards automatic convergence verification of self-stabilizing algorithms Proceedings of the 7th international conference on Self-Stabilizing Systems, (198-213)
- Wehrheim H (2005). Slicing techniques for verification re-use, Theoretical Computer Science, 343:3, (509-528), Online publication date: 17-Oct-2005.
- Rothmaier G and Krumm H A framework based approach for formal modeling and analysis of multi-level attacks in computer networks Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems, (247-260)
- Völzer H On conspiracies and hyperfairness in distributed computing Proceedings of the 19th international conference on Distributed Computing, (33-47)
- de Alfaro L, da Silva L, Faella M, Legay A, Roy P and Sorea M Invited contribution Proceedings of the 5th international conference on Frontiers of Combining Systems, (81-105)
- Hinchey M, Rouff C, Rash J and Truszkowski W Requirements of an integrated formal method for intelligent swarms Proceedings of the 10th international workshop on Formal methods for industrial critical systems, (125-133)
- Besta M and Stomp F (2005). A complete mechanization of correctness of a string-preprocessing algorithm, Formal Methods in System Design, 27:1-2, (5-27), Online publication date: 1-Sep-2005.
- Lopes A and Fiadeiro J Context-awareness in software architectures Proceedings of the 2nd European conference on Software Architecture, (146-161)
- Flanagan C, Freund S, Qadeer S and Seshia S (2005). Modular verification of multithreaded programs, Theoretical Computer Science, 338:1-3, (153-183), Online publication date: 10-Jun-2005.
- del Mar Gallardo M, Martínez J and Merino P (2005). Model checking active networks with SPIN, Computer Communications, 28:6, (609-622), Online publication date: 1-Apr-2005.
- Olderog E and Wehrheim H (2005). Specification and (property) inheritance in CSP-OZ, Science of Computer Programming, 55:1-3, (227-257), Online publication date: 1-Mar-2005.
- Burckhardt S, Alur R and Martin M Verifying safety of a token coherence implementation by parametric compositional refinement Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, (130-145)
- Tejfel M, Horváth Z and Kozsik T (2005). Extending the sparkle core language with object abstraction, Acta Cybernetica, 17:2, (419-445), Online publication date: 10-Jan-2005.
- Bouyssounouse B and Sifakis J References Embedded Systems Design, (204-215)
- Goldson D and Dongol B Concurrent program design in the extended theory of Owicki and Gries Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (41-50)
- Roman G and Payton J (2005). A Termination Detection Protocol for Use in Mobile Ad Hoc Networks, Automated Software Engineering, 12:1, (81-99), Online publication date: 1-Jan-2005.
- Basu S t-UNITY – a formal framework for modeling and reasoning about timing constraints in real-time systems Proceedings of the 6th international conference on Distributed Computing, (138-143)
- Prasetya I, Vos T, Azurat A and Swierstra S A UNITY-based framework towards component based systems Proceedings of the 8th international conference on Principles of Distributed Systems, (52-66)
- Freiling F and Santen T On the composition of compositional reasoning Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components, (137-151)
- Arvind , Nikhil R, Rosenband D and Dave N High-level synthesis Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design, (775-782)
- Oquendo F (2004). π-ARL, ACM SIGSOFT Software Engineering Notes, 29:5, (1-20), Online publication date: 1-Sep-2004.
- Lazić R, Newcomb T and Roscoe A On model checking data-independent systems with arrays with whole-array operations Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years, (275-291)
- Morgan C Of probabilistic wp and CSP - and compositionality Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years, (220-241)
- Rosenband D and Arvind Modular scheduling of guarded atomic actions Proceedings of the 41st annual Design Automation Conference, (55-60)
- Bettini L, De Nicola R and Loreti M (2004). Formulae Meet Programs Over the Net, Automated Software Engineering, 11:3, (245-288), Online publication date: 1-Jun-2004.
- Oliveira C and Wermelinger M The CommUnity Workbench Proceedings of the 26th International Conference on Software Engineering, (709-710)
- Lopes A and Fiadeiro J Algebraic semantics of design abstractions for context-awareness Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques, (79-93)
- Attie P, Arora A and Emerson E (2004). Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems, 26:1, (125-185), Online publication date: 1-Jan-2004.
- The ephemeral history register Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design, (189-198)
- Bluespec System Verilog Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design, (69-70)
- Synchronous extensions to operation centric hardware description languages Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design, (49-56)
- Li H, Rilling J and Goswami D (2004). Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems, Automated Software Engineering, 11:1, (63-89), Online publication date: 1-Jan-2004.
- Rueß H and de Moura L Simulation and verification I Proceedings of the 35th conference on Winter simulation: driving innovation, (888-896)
- Dolev S and Stomp F (2003). Safety assurance via on-line monitoring, Distributed Computing, 16:4, (269-277), Online publication date: 1-Dec-2003.
- Fich F and Ruppert E (2003). Hundreds of impossibility results for distributed computing, Distributed Computing, 16:2-3, (121-163), Online publication date: 1-Sep-2003.
- Kurki-Suonio R (2003). Action systems in incremental and aspect-oriented modeling, Distributed Computing, 16:2-3, (201-217), Online publication date: 1-Sep-2003.
- Moreira A, Fiadeiro J and Andrade L Evolving requirements through coordination contracts Proceedings of the 15th international conference on Advanced information systems engineering, (633-646)
- Lazic R and Nowak D On a semantic definition of data independence Proceedings of the 6th international conference on Typed lambda calculi and applications, (226-240)
- McDermott D Reasoning about autonomous processes in an estimated-regression planner Proceedings of the Thirteenth International Conference on International Conference on Automated Planning and Scheduling, (143-152)
- Granicz A, Zimmerman D and Hickey J Rewriting UNITY Proceedings of the 14th international conference on Rewriting techniques and applications, (138-147)
- Abrial J, Cansell D and Méry D Formal derivation of spanning trees algorithms Proceedings of the 3rd international conference on Formal specification and development in Z and B, (457-476)
- Joung Y (2003). Quorum-Based Algorithms for Group Mutual Exclusion, IEEE Transactions on Parallel and Distributed Systems, 14:5, (463-476), Online publication date: 1-May-2003.
- Kleijn J, Reniers M and Rooda J (2003). Analysis of an Industrial System, Formal Methods in System Design, 22:3, (249-282), Online publication date: 1-May-2003.
- Spyropoulos A, Raghavendra C and Prasanna V A distributed algorithm for waking-up in heterogeneous sensor networks Proceedings of the 2nd international conference on Information processing in sensor networks, (609-624)
- Hoare T The verifying compiler Proceedings of the 12th international conference on Compiler construction, (262-272)
- Fontaine P and Gribomont E Decidability of invariant validation for paramaterized systems Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems, (97-112)
- Krüger I Capturing overlapping, triggered, and preemptive collaborations using MSCs Proceedings of the 6th international conference on Fundamental approaches to software engineering, (387-402)
- Fenkam P, Gall H and Jazayeri M Composing specifications of event based applications Proceedings of the 6th international conference on Fundamental approaches to software engineering, (67-86)
- Fokkink W and Pang J Cones and foci for protocol verification revisited Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software, (267-281)
- Jones C (2003). The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, 25:2, (26-49), Online publication date: 1-Apr-2003.
- Roman G and Payton J Mobile UNITY schemas for agent coordination Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (126-150)
- Cohen E Asynchronous progress Programming methodology, (57-68)
- Jones C Wanted Programming methodology, (5-15)
- Lopes A, Fiadeiro J and Wermelinger M Architectural primitives for distribution and mobility Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, (41-50)
- Lopes A, Fiadeiro J and Wermelinger M (2002). Architectural primitives for distribution and mobility, ACM SIGSOFT Software Engineering Notes, 27:6, (41-50), Online publication date: 1-Nov-2002.
- Andrade L and Fiadeiro J (2002). Agility through coordination, Information Systems, 27:6, (411-424), Online publication date: 1-Sep-2002.
- Cybenko G, Giani A and Thompson P (2002). Cognitive Hacking, Computer, 35:8, (50-56), Online publication date: 1-Aug-2002.
- McIver A (2002). Quantitative program logic and expected time bounds in probabilistic distributed algorithms, Theoretical Computer Science, 282:1, (191-219), Online publication date: 7-Jun-2002.
- Wermelinger M and Oliveira C The community workbench Proceedings of the 24th International Conference on Software Engineering, (713-713)
- Roychoudhury A and Mitra T Specifying multithreaded Java semantics for program verification Proceedings of the 24th International Conference on Software Engineering, (489-499)
- Beauquier J, Gradinariu M, Johnen C and Durand-Lose J (2002). Token-Based Self-Stabilizing Uniform Algorithms, Journal of Parallel and Distributed Computing, 62:5, (899-921), Online publication date: 1-May-2002.
- Nesterenko M and Arora A (2002). Stabilization-Preserving Atomicity Refinement, Journal of Parallel and Distributed Computing, 62:5, (766-791), Online publication date: 1-May-2002.
- Sihman M and Katz S A calculus of superimpositions for distributed systems Proceedings of the 1st international conference on Aspect-oriented software development, (28-40)
- Roman G, Julien C and Huang Q Formal Specification and Design of Mobile Systems Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Ferrari G, Montangero C, Semini L and Semprini S (2002). Mark, a Reasoning Kit for Mobility, Automated Software Engineering, 9:2, (137-150), Online publication date: 1-Apr-2002.
- Bodeveix J and Filali M (2002). Reduction and Quantifier Elimination Techniques for Program Validation, Formal Methods in System Design, 20:1, (69-89), Online publication date: 1-Jan-2002.
- Chandy K and Charpentier M (2002). An Experiment in Program Composition and Proof, Formal Methods in System Design, 20:1, (7-21), Online publication date: 1-Jan-2002.
- Roman G and McCann P (2002). A Notation and Logic for Mobile Computing, Formal Methods in System Design, 20:1, (47-68), Online publication date: 1-Jan-2002.
- Misra J (2002). A Simple, Object-Based View of Multiprogramming, Formal Methods in System Design, 20:1, (23-45), Online publication date: 1-Jan-2002.
- Ogata K and Futatsugi K Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ Proceedings of the 16th IEEE international conference on Automated software engineering
- Wermelinger M, Lopes A and Fiadeiro J A graph based architectural (Re)configuration language Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, (21-32)
- McIver A and Morgan C (2001). Partial correctness for probabilistic demonic programs, Theoretical Computer Science, 266:1-2, (513-541), Online publication date: 6-Sep-2001.
- Wermelinger M, Lopes A and Fiadeiro J (2001). A graph based architectural (Re)configuration language, ACM SIGSOFT Software Engineering Notes, 26:5, (21-32), Online publication date: 1-Sep-2001.
- Arora A, Demirbas M and Kulkarniy S Graybox Stabilization Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS), (389-400)
- Krishnamurthy P and Sivilotti P The specification and testing of quantified progress properties in distributed systems Proceedings of the 23rd International Conference on Software Engineering, (201-210)
- Tahara Y, Ohsuga A and Honiden S Mobile agent security with the IPEditor development tool and the mobile UNITY language Proceedings of the fifth international conference on Autonomous agents, (656-662)
- Schacht S Formal reasoning about actor programs using temporal logic Concurrent object-oriented programming and petri nets, (445-460)
- A General Resource Allocation Synchronization Problem Proceedings of the The 21st International Conference on Distributed Computing Systems
- Tight Space Self-stabilizing Uniform l-Mutual Exclusion Proceedings of the The 21st International Conference on Distributed Computing Systems
- Attie P and Emerson E (2001). Synthesis of concurrent programs for an atomic read/write model of computation, ACM Transactions on Programming Languages and Systems, 23:2, (187-242), Online publication date: 1-Mar-2001.
- Marinescu M and Rinard M High-level specification and efficient implementation of pipelined circuits Proceedings of the 2001 Asia and South Pacific Design Automation Conference, (655-661)
- Wermelinger M, Lopes A and Fiadeiro J Superposing Connectors Proceedings of the 10th International Workshop on Software Specification and Design
- Giles C and Sivilotti P A Tool for Testing Liveness in Distributed Object Systems Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
- Joshi R and Misra J Toward a theory of maximally concurrent programs (shortened version) Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, (319-328)
- Gunter C, Gunter E, Jackson M and Zave P (2000). A Reference Model for Requirements and Specifications, IEEE Software, 17:3, (37-43), Online publication date: 1-May-2000.
- Mahony B and Dong J (2000). Timed Communicating Object Z, IEEE Transactions on Software Engineering, 26:2, (150-177), Online publication date: 1-Feb-2000.
- Bui A (1999). On optimization of continuous-time Markov networks in distributed computing, Journal of Global Optimization, 15:4, (299-314), Online publication date: 1-Dec-1999.
- Felty A and Stomp F (1999). Cache Coherency in SCI: Specification and a Sketch of Correctness, Formal Aspects of Computing, 11:5, (475-497), Online publication date: 1-Dec-1999.
- Sivilotti P and Giles C The specification of distributed objects Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
- Warshaw L and Miranker D Rule-based query optimization, revisited Proceedings of the eighth international conference on Information and knowledge management, (267-275)
- Giannakopoulou D, Magee J and Kramer J (1999). Checking progress with action priority, ACM SIGSOFT Software Engineering Notes, 24:6, (511-527), Online publication date: 1-Nov-1999.
- Wermelinger M and Fiadeiro J (1999). Algebraic software architecture reconfiguration, ACM SIGSOFT Software Engineering Notes, 24:6, (393-409), Online publication date: 1-Nov-1999.
- Goldschlag D (1999). A Mechanization of Unity in PC-NQTHM-92, Journal of Automated Reasoning, 23:3, (445-498), Online publication date: 1-Nov-1999.
- Andrade L and Fiadeiro J Interconnecting objects via contracts Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (566-583)
- Herrmann P and Krumm H Formal Hazard Analysis of Hybrid Systems in cTLA Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
- Giannakopoulou D, Magee J and Kramer J Checking progress with action priority Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, (511-527)
- Wermelinger M and Fiadeiro J Algebraic software architecture reconfiguration Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, (393-409)
- Kindler E and Peuker S (1999). Integrating Distributed Algorithms into Distributed Systems, Fundamenta Informaticae, 37:3, (291-309), Online publication date: 1-Aug-1999.
- Alur R and Henzinger T (1999). Reactive Modules, Formal Methods in System Design, 15:1, (7-48), Online publication date: 1-Jul-1999.
- Dwyer M, Avrunin G and Corbett J Patterns in property specifications for finite-state verification Proceedings of the 21st international conference on Software engineering, (411-420)
- Picco G, Murphy A and Roman G LIME Proceedings of the 21st international conference on Software engineering, (368-377)
- Zlatea C and Elrad T A design methodology for mobile distributed applications based on UNITY formalism and communication-closed layering Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
- Moore J (1999). A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View, Formal Methods in System Design, 14:2, (213-228), Online publication date: 1-Mar-1999.
- Nezu N and Lu H Modeling deflection networks Proceedings of the 1999 ACM symposium on Applied computing, (66-73)
- Pnueli A, Shtrichman O and Siegel M Translation Validation Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (231-255)
- Beynon M Empirical modelling and the foundations of artificial intelligence Computation for metaphors, analogy, and agents, (322-365)
- Liu Z and Joseph M (1999). Specification and verification of fault-tolerance, timing, and scheduling, ACM Transactions on Programming Languages and Systems, 21:1, (46-89), Online publication date: 1-Jan-1999.
- Bharadwaj R and Heitmeyer C (1999). Model Checking Complete Requirements Specifications Using Abstraction, Automated Software Engineering, 6:1, (37-68), Online publication date: 1-Jan-1999.
- Wang F and Lo C (1999). Procedure-Level Verification of Real-time Concurrent Systems, Real-Time Systems, 16:1, (81-114), Online publication date: 1-Jan-1999.
- Garlan D, Jha S, Notkin D and Dingel J (1998). Reasoning about implicit invocation, ACM SIGSOFT Software Engineering Notes, 23:6, (209-221), Online publication date: 1-Nov-1998.
- Garlan D, Jha S, Notkin D and Dingel J Reasoning about implicit invocation Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (209-221)
- Heitmeyer C, Kirby J, Labaw B, Archer M and Bharadwaj R (1998). Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications, IEEE Transactions on Software Engineering, 24:11, (927-948), Online publication date: 1-Nov-1998.
- Harrison M (1998). Desert Island Reading, Automated Software Engineering, 5:3, (373-375), Online publication date: 1-Jul-1998.
- Joung Y Asynchronous group mutual exclusion (extended abstract) Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, (51-60)
- Arora A and Kulkarni S (1998). Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance, IEEE Transactions on Software Engineering, 24:6, (435-450), Online publication date: 1-Jun-1998.
- Wermelinger M and Fiadeiro J (1998). Connectors for Mobile Programs, IEEE Transactions on Software Engineering, 24:5, (331-341), Online publication date: 1-May-1998.
- Waldén M and Sere K (1998). Reasoning about Action Systems using the B-Method, Formal Methods in System Design, 13:1, (5-35), Online publication date: 1-May-1998.
- Broy M (1998). A Functional Rephrasing of the Assumption/Commitment Specification Style, Formal Methods in System Design, 13:1, (87-119), Online publication date: 1-May-1998.
- Murphy A, Roman G and Varghese G An Exercise in Formal Reasoning about Mobile Communications Proceedings of the 9th international workshop on Software specification and design
- Wermelinger M and Fiadeiro J Towards an Algebra of Architectural Connectors Proceedings of the 9th international workshop on Software specification and design
- Mikkonen T Formalizing design patterns Proceedings of the 20th international conference on Software engineering, (115-124)
- Cunha J and Lourenço J (1998). An integrated course on parallel and distributed processing, ACM SIGCSE Bulletin, 30:1, (217-221), Online publication date: 1-Mar-1998.
- Cunha J and Lourenço J An integrated course on parallel and distributed processing Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (217-221)
- Dingel J, Garlan D, Jha S and Notkin D (1998). Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning, Formal Aspects of Computing, 10:3, (193-213), Online publication date: 1-Mar-1998.
- Bonsangue M, Kok J, Boasson M and de Jong E A software architecture for distributed control systems and its transition system semantics Proceedings of the 1998 ACM symposium on Applied Computing, (159-168)
- Joung Y and Smolka S (1998). Strong Interaction Fairness Via Randomization, IEEE Transactions on Parallel and Distributed Systems, 9:2, (137-149), Online publication date: 1-Feb-1998.
- McCann P and Roman G (1998). Compositional Programming Abstractions for Mobile Computing, IEEE Transactions on Software Engineering, 24:2, (97-110), Online publication date: 1-Feb-1998.
- John A and Browne J (1998). Compilation of Constraint Programs with Noncyclic and Cyclic Dependencies to Procedural Parallel Programs, International Journal of Parallel Programming, 26:1, (65-119), Online publication date: 1-Feb-1998.
- Attie P and Emerson E (1998). Synthesis of concurrent systems with many similar processes, ACM Transactions on Programming Languages and Systems, 20:1, (51-115), Online publication date: 1-Jan-1998.
- Arora A and Kulkarni S (1998). Component Based Design of Multitolerant Systems, IEEE Transactions on Software Engineering, 24:1, (63-78), Online publication date: 1-Jan-1998.
- Chetali B (1998). Formal Verification of Concurrent Programs Using the Larch Prover, IEEE Transactions on Software Engineering, 24:1, (46-62), Online publication date: 1-Jan-1998.
- Ellis C Team automata for groupware systems Proceedings of the 1997 ACM International Conference on Supporting Group Work, (415-424)
- Kemmerer R Formally Specifying and Verifying Real-Time Systems Proceedings of the 1st International Conference on Formal Engineering Methods
- Picco G, Roman G and McCann P (1997). Expressing code mobility in mobile UNITY, ACM SIGSOFT Software Engineering Notes, 22:6, (500-518), Online publication date: 1-Nov-1997.
- Picco G, Roman G and McCann P Expressing code mobility in mobile UNITY Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, (500-518)
- Coen-Porisini A, Ghezzi C and Kemmerer R (1997). Specification of realtime systems using ASTRAL, IEEE Transactions on Software Engineering, 23:9, (572-598), Online publication date: 1-Sep-1997.
- Kurki-Suonio R and Mikkonen T Liberating Object-Oriented Modeling from Programming-Level Abstractions Proceedings of the Workshops on Object-Oriented Technology, (195-199)
- Leung H and Ting H (1997). An Optimal Algorithm for Global Termination Detection in Shared-Memory Asynchronous Multiprocessor Systems, IEEE Transactions on Parallel and Distributed Systems, 8:5, (538-543), Online publication date: 1-May-1997.
- Murthy V and Krishnamurthy E Heterogeneous programming with concurrent objects Proceedings of the 1997 ACM symposium on Applied computing, (454-463)
- Bloom B, Cheng A and Dsouza A (1997). Using a Protean Language to Enhance Expressiveness in Specification, IEEE Transactions on Software Engineering, 23:4, (224-234), Online publication date: 1-Apr-1997.
- Staskauskas M (1996). An experience in the formal verification of industrial software, Communications of the ACM, 39:12es, (256-es), Online publication date: 1-Dec-1996.
- Hagenauer H and Pohlmann W Prototyping a parallel discrete event simulation system in Ada Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, (11-22)
- Warshaw L and Miranker D A case study of Venus and a declarative basis for rule modules Proceedings of the fifth international conference on Information and knowledge management, (317-325)
- Chandy K, Rifkin A, Sivilotti P, Mandelson J, Richardson M, Tanaka W and Weisman L A world-wide distributed system using Java and the Internet Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing
- Haynes T, Gamble R, Knight L and Wainwright R Entailment for specification refinement Proceedings of the 1st annual conference on genetic programming, (90-97)
- Alur R and Henzinger T Reactive Modules Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
- Choy M and Singh A (1996). Localizing Failures in Distributed Synchronization, IEEE Transactions on Parallel and Distributed Systems, 7:7, (705-716), Online publication date: 1-Jul-1996.
- Roman G, McCann P and Plun J Assertional reasoning about pairwise transient interactions in mobile computing Proceedings of the 18th international conference on Software engineering, (155-164)
- Hesselink W (1996). Bounded delay for a free address, Acta Informatica, 33:3, (233-254), Online publication date: 1-May-1996.
- Wilcox C and Roman G (1996). Reasoning About Places, Times, and Actions in the Presence of Mobility, IEEE Transactions on Software Engineering, 22:4, (225-247), Online publication date: 1-Apr-1996.
- Fiadeiro J and Maibaum T A Mathematical Toolbox for the Software Architec Proceedings of the 8th International Workshop on Software Specification and Design
- Roman G, Hart D and Calkins C Visual Presentation of Software Specifications and Designs Proceedings of the 8th International Workshop on Software Specification and Design
- Abrams M (1996). Geometric Performance Analysis of Periodic Behavior, Journal of Parallel and Distributed Computing, 33:2, (131-144), Online publication date: 15-Mar-1996.
- Pierre L Formal Specification of a Reactive System Proceedings of the 1996 European conference on Design and Test
- McDermott J and Goldschlag D Towards a model of storage jamming Proceedings of the 9th IEEE workshop on Computer Security Foundations
- Blelloch G (1996). Programming parallel algorithms, Communications of the ACM, 39:3, (85-97), Online publication date: 1-Mar-1996.
- Bolignano D An approach to the formal verification of cryptographic protocols Proceedings of the 3rd ACM conference on Computer and communications security, (106-118)
- Correl S and Miranker D On isolation, concurrency, and the Venus rule language Proceedings of the fourth international conference on Information and knowledge management, (281-289)
- Yen I and Bastani F (1995). Parallel Hashing, Journal of Parallel and Distributed Computing, 31:2, (190-198), Online publication date: 1-Dec-1995.
- Brzezinski J, Helary J, Raynal M and Singhal M (1995). Deadlock Models and a General Algorithm for Distributed Deadlock Detection, Journal of Parallel and Distributed Computing, 31:2, (112-125), Online publication date: 1-Dec-1995.
- Marshall A Template-based program restructuring - initial experience Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
- Fiadeiro J and Maibaum T (1995). Interconnecting formalisms, ACM SIGSOFT Software Engineering Notes, 20:4, (72-80), Online publication date: 1-Oct-1995.
- Fekete A (1995). Liveness conditions in model-based service specifications, ACM SIGSOFT Software Engineering Notes, 20:4, (62-71), Online publication date: 1-Oct-1995.
- Fiadeiro J and Maibaum T Interconnecting formalisms Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, (72-80)
- Fekete A Liveness conditions in model-based service specifications Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, (62-71)
- Parallel assignment to distinct identities in arbitrary networks Proceedings of the 4th International Conference on Computer Communications and Networks
- Leino K (1995). A method for showing progress, Formal Aspects of Computing, 7:5, (576-580), Online publication date: 1-Sep-1995.
- Pogosyants A and Segala R Formal verification of timed properties of randomized distributed algorithms Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, (174-183)
- Venkatasubramanian N and Talcott C Reasoning about meta level activities in open distributed systems Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, (144-152)
- Wang S, Chin Y and Yan K (1995). Byzantine Agreement in a Generalized Connected Network, IEEE Transactions on Parallel and Distributed Systems, 6:4, (420-427), Online publication date: 1-Apr-1995.
- Yang J and Anderson J (1995). A fast, scalable mutual exclusion algorithm, Distributed Computing, 9:1, (51-60), Online publication date: 1-Mar-1995.
- Hesselink W (1995). Wait-free linearization with a mechanical proof, Distributed Computing, 9:1, (21-36), Online publication date: 1-Mar-1995.
- Thornley J Declarative Ada Proceedings of the 1995 ACM 23rd annual conference on Computer science, (73-80)
- van de Snepscheut J (1995). The sliding-window protocol revisited, Formal Aspects of Computing, 7:1, (3-17), Online publication date: 1-Jan-1995.
- Liu Y, Singh A and Bagrodia R (1994). A Decompositional Approach to the Design of Parallel Programs, IEEE Transactions on Software Engineering, 20:12, (914-932), Online publication date: 1-Dec-1994.
- Chandy K (1994). Properties of Concurrent Programs, Formal Aspects of Computing, 6:6, (607-619), Online publication date: 1-Dec-1994.
- Singh G (1994). A methodology for designing communication protocols, ACM SIGCOMM Computer Communication Review, 24:4, (245-255), Online publication date: 1-Oct-1994.
- Singh G A methodology for designing communication protocols Proceedings of the conference on Communications architectures, protocols and applications, (245-255)
- Hesselink W (1994). Wait-free linearization with an assertional proof, Distributed Computing, 8:2, (65-80), Online publication date: 1-Oct-1994.
- Xiong X, Barros E and Rosenstiel W A method for partitioning UNITY language in hardware and software Proceedings of the conference on European design automation, (220-225)
- Ravn A and Staunstrup J Interface models Proceedings of the 3rd international workshop on Hardware/software co-design, (157-164)
- Høeg F, Mellergaard N and Staunstrup J The priority queue as an example of hardware/software codesign Proceedings of the 3rd international workshop on Hardware/software co-design, (81-88)
- Quéinnec P and Padiou G Derivation of fault tolerance properties of distributed algorithms Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
- Lynch N, Saias I and Segala R Proving time bounds for randomized distributed algorithms Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, (314-323)
- Anderson J and Moir M Using k-exclusion to implement resilient, scalable shared objects (extended abstract) Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, (141-150)
- Eǧecioǧlu Ö and Singh A (1994). Naming symmetric processes using shared variables, Distributed Computing, 8:1, (19-38), Online publication date: 1-Aug-1994.
- Choy M and Singh A (1994). Adaptive solutions to the mutual exclusion problem, Distributed Computing, 8:1, (1-17), Online publication date: 1-Aug-1994.
- Tsay Y and Bagrodia R (1994). Fault-Tolerant Algorithms for Fair Interprocess Synchronization, IEEE Transactions on Parallel and Distributed Systems, 5:7, (737-748), Online publication date: 1-Jul-1994.
- Kramer J Distributed software engineering Proceedings of the 16th international conference on Software engineering, (253-263)
- Gaudel M Formal specification techniques (extended abstract) Proceedings of the 16th international conference on Software engineering, (223-227)
- Merritt M and Taubenfeld G (1994). Atomic m-register operations, Distributed Computing, 7:4, (213-221), Online publication date: 1-May-1994.
- Roman G and Wilcox C (1994). Architecture-Directed Refinement, IEEE Transactions on Software Engineering, 20:4, (239-258), Online publication date: 1-Apr-1994.
- Rifkin A (1994). eText, ACM SIGCSE Bulletin, 26:1, (281-285), Online publication date: 12-Mar-1994.
- Rifkin A (1994). Teaching parallel programming and software engineering concepts to high school students, ACM SIGCSE Bulletin, 26:1, (26-30), Online publication date: 12-Mar-1994.
- Rifkin A eText Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (281-285)
- Rifkin A Teaching parallel programming and software engineering concepts to high school students Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (26-30)
- Doligez D and Gonthier G Portable, unobtrusive garbage collection for multiprocessor systems Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (70-83)
- Moore J (2022). A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol, Formal Aspects of Computing, 6:1, (60-91), Online publication date: 1-Jan-1994.
- Wood K A pragmatic basis for the formal development of distributed systems Proceedings of the 7th international workshop on Software specification and design, (132-140)
- Cunningham H and Cai Y Specification and refinement of a message router Proceedings of the 7th international workshop on Software specification and design, (20-29)
- Arora A and Gouda M (1993). Closure and Convergence, IEEE Transactions on Software Engineering, 19:11, (1015-1027), Online publication date: 1-Nov-1993.
- Laranjeira L, Malek M and Jenevein R (1993). Nest, IEEE Transactions on Computers, 42:11, (1303-1324), Online publication date: 1-Nov-1993.
- Yang J and Anderson J Fast, scalable synchronization with minimal hardware support Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, (171-182)
- Cheng A, Browne J, Mok A and Wang R (1993). Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella, IEEE Transactions on Software Engineering, 19:9, (863-885), Online publication date: 1-Sep-1993.
- Abrams M, Sanjeevan V and Richardson D (1993). Termination and Output Measure Generation in Parallel Simulations, Journal of Parallel and Distributed Computing, 18:4, (454-472), Online publication date: 1-Aug-1993.
- Hu A and Dill D Reducing BDD size by exploiting functional dependencies Proceedings of the 30th international Design Automation Conference, (266-271)
- Tsay Y and Bagrodia R (1993). Some impossibility results in interprocess synchronization, Distributed Computing, 6:4, (221-231), Online publication date: 1-Jul-1993.
- Roman G, Plun J, Wilcox C and Varma S (1993). Dynamic Synchrony Among Atomic Actions, IEEE Transactions on Parallel and Distributed Systems, 4:6, (677-685), Online publication date: 1-Jun-1993.
- Staskauskas M (1993). Formal Derivation of Concurrent Programs, IEEE Transactions on Software Engineering, 19:5, (503-528), Online publication date: 1-May-1993.
- Grimm J, Lamont G and Terzuoli A A parallelized search strategy for solving a multicriteria aircraft routing problem Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (570-577)
- Roma G, Gamble R and Ball W (1993). Formal Derivation of Rule-Based Programs, IEEE Transactions on Software Engineering, 19:3, (277-296), Online publication date: 1-Mar-1993.
- Citrin W (1993). Simulation of communications architecture specifications using Prolog, ACM SIGAPP Applied Computing Review, 1:1, (10-17), Online publication date: 15-Jan-1993.
- Banâtre J and Le Métayer D (1993). Programming by multiset transformation, Communications of the ACM, 36:1, (98-111), Online publication date: 1-Jan-1993.
- Kurki-Suonio R (1993). Stepwise Design of Real-Time Systems, IEEE Transactions on Software Engineering, 19:1, (56-69), Online publication date: 1-Jan-1993.
- White E and Purtilo J (1992). Integrating the heterogeneous control properties of software modules, ACM SIGSOFT Software Engineering Notes, 17:5, (99-108), Online publication date: 1-Nov-1992.
- White E and Purtilo J Integrating the heterogeneous control properties of software modules Proceedings of the fifth ACM SIGSOFT symposium on Software development environments, (99-108)
- Bevier W and Young W (1992). Machine checked proofs of the design of a fault-tolerant circuit, Formal Aspects of Computing, 4:Suppl 1, (755-775), Online publication date: 1-Nov-1992.
- Russinoff D (1992). A verification system for concurrent programs based on the Boyer-Moore prover, Formal Aspects of Computing, 4:Suppl 1, (597-611), Online publication date: 1-Nov-1992.
- Janssen W and Zwiers J From sequential layers to distributed processes Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, (215-227)
- Wood M Rule-based management of distributed operating systems Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, (1-5)
- Pilarski S and Kameda T (1992). Checkpointing for Distributed Databases, IEEE Transactions on Parallel and Distributed Systems, 3:5, (602-610), Online publication date: 1-Sep-1992.
- Liu Z and Joseph M (1992). Transformation of programs for fault-tolerance, Formal Aspects of Computing, 4:5, (442-469), Online publication date: 1-Sep-1992.
- Choy M and Singh A Efficient fault tolerant algorithms for resource allocation in distributed systems Proceedings of the twenty-fourth annual ACM symposium on Theory of Computing, (593-602)
- Kurki-Suonio R (1992). Operational specification with joint actions, Distributed Computing, 6:1, (19-37), Online publication date: 1-Jul-1992.
- Roman G, Gamble R and Ball W Seeking concurrency in rule-based programming Proceedings of the 14th international conference on Software engineering, (225-234)
- Plouzeau N and Raynal M (1992). Elements for a course on the design of distributed algorithms, ACM SIGCSE Bulletin, 24:2, (35-40), Online publication date: 1-Jun-1992.
- Jacob J (1992). Basic Theorems about Security, Journal of Computer Security, 1:3-4, (385-411), Online publication date: 1-May-1992.
- Kumar D (1992). Development of a Class of Distributed Termination Detection Algorithms, IEEE Transactions on Knowledge and Data Engineering, 4:2, (145-155), Online publication date: 1-Apr-1992.
- Citrin W Simulation of communications architecture specifications using Prolog Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (1123-1131)
- Lukkien J and van de Snepscheut J (1992). Weakest preconditions for progress, Formal Aspects of Computing, 4:2, (195-236), Online publication date: 1-Mar-1992.
- Joung Y and Smolka S A comprehensive study of the complexity of multiparty interaction Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (142-153)
- Sanjeevan V and Abrams M The cost of terminating synchronous parallel discrete-event simulations Proceedings of the 23rd conference on Winter simulation, (642-651)
- Abrams M, Page E and Nance R Simulation program development by stepwise refinement in UNITY Proceedings of the 23rd conference on Winter simulation, (233-242)
- Abrams M, Page E and Nance R Linking simulation model specification and parallel execution through UNITY Proceedings of the 23rd conference on Winter simulation, (223-232)
- Kurki-Suonio R (1991). Stepwise design of real-time systems, ACM SIGSOFT Software Engineering Notes, 16:5, (120-131), Online publication date: 1-Nov-1991.
- Cunningham H Swarming over the software barrier Proceedings of the 6th international workshop on Software specification and design, (233-236)
- Ledru Y Developing reactive systems in a VDM framework Proceedings of the 6th international workshop on Software specification and design, (130-139)
- Damy S and Perrin G Techniques for the design of communicating processes Proceedings of the 6th international workshop on Software specification and design, (67-74)
- Ciancarini P PoliS Proceedings of the 6th international workshop on Software specification and design, (44-51)
- Kurki-Suonio R Stepwise design of real-time systems Proceedings of the conference on Software for citical systems, (120-131)
- Gouda M and Herman T (1991). Adaptive Programming, IEEE Transactions on Software Engineering, 17:9, (911-921), Online publication date: 1-Sep-1991.
- Grošelj B and Tropper C (1991). The distributed simulation of clustered processes, Distributed Computing, 4:3, (111-121), Online publication date: 1-Sep-1991.
- Chang Y, Wu J and Wu J Scheduling parallel programs with non-uniform parallelism profiles Proceedings of the 1991 ACM/IEEE conference on Supercomputing, (502-511)
- Sanders B A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract) Proceedings of the tenth annual ACM symposium on Principles of distributed computing, (217-230)
- Küchlin W A space-efficient parallel garbage compaction algorithm Proceedings of the 5th international conference on Supercomputing, (40-46)
- Sanders B (1991). Eliminating the substitution axiom from UNITY logic, Formal Aspects of Computing, 3:2, (189-205), Online publication date: 1-Jun-1991.
- Franke D and Purvis M Hardware/software codesign Proceedings of the 13th international conference on Software engineering, (344-352)
- Bagrodia R and Mathur S (1991). Efficient Implementation of high-level parallel programs, ACM SIGARCH Computer Architecture News, 19:2, (142-151), Online publication date: 2-Apr-1991.
- Bagrodia R and Mathur S (1991). Efficient Implementation of high-level parallel programs, ACM SIGOPS Operating Systems Review, 25:Special Issue, (142-151), Online publication date: 2-Apr-1991.
- Bagrodia R and Mathur S (1991). Efficient Implementation of high-level parallel programs, ACM SIGPLAN Notices, 26:4, (142-151), Online publication date: 2-Apr-1991.
- Jo C and George K Language concepts using dynamic and distributed objects Proceedings of the 19th annual conference on Computer Science, (211-220)
- Meseguer J (1991). Rewriting as a unified model of concurrency, ACM SIGPLAN OOPS Messenger, 2:2, (86-88), Online publication date: 1-Apr-1991.
- Meseguer J Rewriting as a unified model of concurrency Proceedings of the workshop on Object-based concurrent programming, (86-88)
- Bagrodia R and Mathur S Efficient Implementation of high-level parallel programs Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, (142-151)
- Cameron E, Cohen D, Guinther T, Keese W, Norman C and Srinidhi H (1991). The L.0 Language and Environment for Protocol Simulation and Prototyping, IEEE Transactions on Computers, 40:4, (562-571), Online publication date: 1-Apr-1991.
- Harlan R (1991). Searching in parallel: a case study with the single-source shortest path algorithm, ACM SIGCSE Bulletin, 23:1, (254-259), Online publication date: 1-Mar-1991.
- Harlan R Searching in parallel: a case study with the single-source shortest path algorithm Proceedings of the twenty-second SIGCSE technical symposium on Computer science education, (254-259)
- Gries D (1991). Teaching calculation and discrimination, Communications of the ACM, 34:3, (44-55), Online publication date: 1-Mar-1991.
- Saraswat V, Rinard M and Panangaden P The semantic foundations of concurrent constraint programming Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (333-352)
- Joung Y and Smolka S Coordinating first-order multiparty interactions Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (209-220)
- Shapiro E Separating concurrent languages with categories of language embeddings Proceedings of the twenty-third annual ACM symposium on Theory of Computing, (198-208)
- Roman G and Cunningham H (1990). Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency, IEEE Transactions on Software Engineering, 16:12, (1361-1373), Online publication date: 1-Dec-1990.
- Skillicorn D (1990). Architecture-Independent Parallel Computation, Computer, 23:12, (38-50), Online publication date: 1-Dec-1990.
- Bagrodia R, Chandy K and Kwan E UC Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (525-534)
- Vishnubhotla P Fine-grain parallelism in the ALPS programming language Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (506-514)
- Wand Y and Weber R (1990). An Ontological Model of an Information System, IEEE Transactions on Software Engineering, 16:11, (1282-1292), Online publication date: 1-Nov-1990.
- Meseguer J (1990). A logical theory of concurrent objects, ACM SIGPLAN Notices, 25:10, (101-115), Online publication date: 1-Oct-1990.
- Fujimoto R (1990). Parallel discrete event simulation, Communications of the ACM, 33:10, (30-53), Online publication date: 1-Oct-1990.
- Ness L (1990). L.0: a parallel executable temporal logic language, ACM SIGSOFT Software Engineering Notes, 15:4, (80-89), Online publication date: 1-Sep-1990.
- Meseguer J A logical theory of concurrent objects Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, (101-115)
- Goldschlag D (1990). Mechanically Verifying Concurrent Programs with the Boyer-Moore Prove, IEEE Transactions on Software Engineering, 16:9, (1005-1023), Online publication date: 1-Sep-1990.
- Wing J (1990). A Specifier's Introduction to Formal Methods, Computer, 23:9, (8-23), Online publication date: 1-Sep-1990.
- Rao J Reasoning about probabilistic algorithms Proceedings of the ninth annual ACM symposium on Principles of distributed computing, (247-264)
- Emerson A and Srinivasan J A decidable temporal logic to reason about many processes Proceedings of the ninth annual ACM symposium on Principles of distributed computing, (233-246)
- Cunningham H and Roman G (1990). A UNITY-Style Programming Logic for Shared Dataspace Programs, IEEE Transactions on Parallel and Distributed Systems, 1:3, (365-376), Online publication date: 1-Jul-1990.
- Gamble R Transforming rule-based programs: from the sequential to the parallel Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2, (854-863)
- Rudolph B (1990). Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, 33:5, (563-576), Online publication date: 1-May-1990.
- Ness L L.0: a parallel executable temporal logic language Conference proceedings on Formal methods in software development, (80-89)
- Järvinen H, Kurki-Suonio R, Sakkinen M and Systä K Object-oriented specification of reactive systems Proceedings of the 12th international conference on Software engineering, (63-71)
- Sanders D and Hartman J Getting started with parallel programming Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (86-88)
- Sanders D and Hartman J (1990). Getting started with parallel programming, ACM SIGCSE Bulletin, 22:1, (86-88), Online publication date: 1-Feb-1990.
- Attie P, Francez N and Grumberg O Fairness and hyperfairness in multi-party interactions Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (292-305)
- Saraswat V and Rinard M Concurrent constraint programming Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (232-245)
- Berry G and Boudol G The chemical abstract machine Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (81-94)
- Fujimoto R Parallel discrete event simulation Proceedings of the 21st conference on Winter simulation, (19-28)
- Roman G and Cox K (1989). A Declarative Approach to Visualizing Concurrent Computations, Computer, 22:10, (25-36), Online publication date: 1-Oct-1989.
- Bagrodia R (1989). Process Synchronization, IEEE Transactions on Software Engineering, 15:9, (1053-1065), Online publication date: 1-Sep-1989.
- Chandy K and Taylor S The composition of concurrent programs Proceedings of the 1989 ACM/IEEE conference on Supercomputing, (557-561)
- Brown G, Gouda M and Miller R (1989). Block acknowledgement: redesigning the window protocol, ACM SIGCOMM Computer Communication Review, 19:4, (128-135), Online publication date: 1-Aug-1989.
- Brown G, Gouda M and Miller R Block acknowledgement: redesigning the window protocol Symposium proceedings on Communications architectures & protocols, (128-135)
- Jutla C, Knapp E and Rao J A predicate transformer approach to semantics of parallel programs Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, (249-263)
- Roman G and Cox K Declarative visualization in the shared dataspace paradigm Proceedings of the 11th international conference on Software engineering, (34-43)
- Kurki-Suonio R and Järvinen H (1989). Action system approach to the specification and design of distributed systems, ACM SIGSOFT Software Engineering Notes, 14:3, (34-40), Online publication date: 1-May-1989.
- Gerth R and Pnueli A (1989). Rooting UNITY, ACM SIGSOFT Software Engineering Notes, 14:3, (11-19), Online publication date: 1-May-1989.
- Forman I (1989). Design by decomposition of multiparty interactions in Raddle87, ACM SIGSOFT Software Engineering Notes, 14:3, (2-10), Online publication date: 1-May-1989.
- Kurki-Suonio R and Järvinen H Action system approach to the specification and design of distributed systems Proceedings of the 5th international workshop on Software specification and design, (34-40)
- Gerth R and Pnueli A Rooting UNITY Proceedings of the 5th international workshop on Software specification and design, (11-19)
- Forman I Design by decomposition of multiparty interactions in Raddle87 Proceedings of the 5th international workshop on Software specification and design, (2-10)
- Cunningham H Concurrent programming in the shared dataspace paradigm Proceedings of the 17th conference on ACM Annual Computer Science Conference, (419-419)
- Parker D Partial order programming (extended abstract) Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (260-266)
- Staskauskas M (1988). The Formal Specification and Design of a Distributed Electronic Funds-Transfer System, IEEE Transactions on Computers, 37:12, (1515-1528), Online publication date: 1-Dec-1988.
- Staunstrup J and Greenstreet M (1988). From high-level descriptions to vlsi circuits, BIT, 28:3, (620-638), Online publication date: 1-Sep-1988.
- Kurki-Suonio R and Kankaanpää T (1988). On the design of reactive systems, BIT, 28:3, (581-604), Online publication date: 1-Sep-1988.
- Graf M Building a visual designer's environment Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, (287-297)
Index Terms
- Parallel program design: a foundation
Recommendations
Program Structuring for Effective Parallel Portability
The tension between software development costs and efficiency is especially high when considering parallel programs intended to run on a variety of architectures. In the domain of shared memory architectures and explicitly parallel programs, the authors ...
Generating Parallel Program Frameworks from Parallel Design Patterns
Euro-Par '00: Proceedings from the 6th International Euro-Par Conference on Parallel ProcessingObject-oriented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. The CO2P3S parallel programming system provides a layered development process that applies ...
Communicating Data-Parallel Tasks: An MPI Library for HPF
HIPC '96: Proceedings of the Third International Conference on High-Performance Computing (HiPC '96)High Performance Fortran (HPF) has emerged as a standard dialect of Fortran for data-parallel computing. However, HPF does not support task parallelism or heterogeneous computing adequately. This paper presents a summary of our work on a library-based ...