Skip header Section
Skip Bibliometrics Section
A Calculus of Communicating SystemsOctober 1982
- Author:
- R. Milner
Abstract
No abstract available.
Cited By
Amparore E, Beccuti M, Castagno P, Pernice S, Franceschinis G and Pennisi M (2023). From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models, ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 9:1, (1-30), Online publication date: 31-Mar-2024.- Babaei M and Dingel J (2023). Efficient regression testing of distributed real-time reactive systems in the context of model-driven development, Software and Systems Modeling (SoSyM), 22:5, (1565-1587), Online publication date: 1-Oct-2023.
- Bruel J, Ebersold S, Galinier F, Mazzara M, Naumchev A and Meyer B (2021). The Role of Formalism in System Requirements, ACM Computing Surveys, 54:5, (1-36), Online publication date: 30-Jun-2022.
- Abate C, Blanco R, Ciobâcă Ş, Durier A, Garg D, Hriţcu C, Patrignani M, Tanter É and Thibault J (2021). An Extended Account of Trace-relating Compiler Correctness and Secure Compilation, ACM Transactions on Programming Languages and Systems, 43:4, (1-48), Online publication date: 31-Dec-2022.
- Bonchi F, Piedeleu R, Sobociński P and Zanasi F (2022). Bialgebraic foundations for the operational semantics of string diagrams, Information and Computation, 281:C, Online publication date: 1-Dec-2021.
- Sievers S and Helmert M (2021). Merge-and-Shrink, Journal of Artificial Intelligence Research, 71, (781-883), Online publication date: 10-Sep-2021.
- Chlipala A (2021). Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl), Proceedings of the ACM on Programming Languages, 5:ICFP, (1-28), Online publication date: 22-Aug-2021.
- Lee E (2021). Determinism, ACM Transactions on Embedded Computing Systems, 20:5, (1-34), Online publication date: 1-Jul-2021.
- Stahlbauer A, Frädrich C and Fraser G Verified from scratch Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, (150-162)
- Kiviriga A, Larsen K and Nyman U Randomized Refinement Checking of Timed I/O Automata Dependable Software Engineering. Theories, Tools, and Applications, (70-88)
- Mestel D and Roscoe A (2020). Translating between models of concurrency, Acta Informatica, 57:3-5, (403-438), Online publication date: 1-Oct-2020.
- Ivašković A and Mycroft A A graded monad for deadlock-free concurrency (functional pearl) Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, (17-30)
- Polyvyanyy A, Solti A, Weidlich M, Ciccio C and Mendling J (2020). Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems, ACM Transactions on Software Engineering and Methodology, 29:3, (1-41), Online publication date: 31-Jul-2020.
- Glabbeek R and Höfner P (2019). Progress, Justness, and Fairness, ACM Computing Surveys, 52:4, (1-38), Online publication date: 31-Jul-2020.
- Abd Alrahman Y, De Nicola R and Loreti M (2020). Programming interactions in collective adaptive systems by relying on attribute-based communication, Science of Computer Programming, 192:C, Online publication date: 15-Jun-2020.
- Jiang J, Zhu H, Li Q, Zhao Y, Zhang S, Gong P and Hong Z (2020). Event-based functional decomposition, Information and Computation, 271:C, Online publication date: 1-Apr-2020.
- Zhang Y, Mallet F and Chen Y (2022). A verification framework for spatio-temporal consistency language with CCSL as a specification language, Frontiers of Computer Science: Selected Publications from Chinese Universities, 14:1, (105-129), Online publication date: 1-Feb-2020.
- Simpson A and Voorneveld N (2019). Behavioural Equivalence via Modalities for Algebraic Effects, ACM Transactions on Programming Languages and Systems, 42:1, (1-45), Online publication date: 10-Jan-2020.
- Aschieri F and Genco F (2019). Par means parallel: multiplicative linear logic proofs as concurrent functional programs, Proceedings of the ACM on Programming Languages, 4:POPL, (1-28), Online publication date: 1-Jan-2020.
- Horne R, Tiu A, Aman B and Ciobanu G (2019). De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic, ACM Transactions on Computational Logic, 20:4, (1-44), Online publication date: 31-Oct-2019.
- Mogk R, Drechsler J, Salvaneschi G and Mezini M (2019). A fault-tolerant programming model for distributed interactive applications, Proceedings of the ACM on Programming Languages, 3:OOPSLA, (1-29), Online publication date: 10-Oct-2019.
- Takai S (2019). Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications, Automatica (Journal of IFAC), 108:C, Online publication date: 1-Oct-2019.
- Jiang J, Hong Z and Chen Y (2019). Modeling and Analyzing Incremental Natures of Developing Software, ACM Transactions on Management Information Systems, 10:2, (1-32), Online publication date: 30-Jun-2019.
- Jančar P and Schmitz S Bisimulation equivalence of first-order grammars is ACKERMANN-complete Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-12)
- Cavalcanti A and Simao A (2019). Fault-based refinement-testing for CSP, Software Quality Journal, 27:2, (529-562), Online publication date: 1-Jun-2019.
- Jiang J, Zhu H, Li Q, Zhao Y, Hong Z, Zhang S and Gong P (2019). Isolation Modeling and Analysis Based on Mobility, ACM Transactions on Software Engineering and Methodology, 28:2, (1-31), Online publication date: 9-Apr-2019.
- Hayes I, Meinicke L, Winter K and Colvin R (2019). A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency, Formal Aspects of Computing, 31:2, (133-163), Online publication date: 1-Apr-2019.
- Møgelberg R and Veltri N (2019). Bisimulation as path type for guarded recursive types, Proceedings of the ACM on Programming Languages, 3:POPL, (1-29), Online publication date: 2-Jan-2019.
- Skelin M and Geilen M (2018). Compositionality in scenario-aware dataflow: a rendezvous perspective, ACM SIGPLAN Notices, 53:6, (55-64), Online publication date: 7-Dec-2018.
- Ponce De León H and Mokhov A (2018). Compact and efficiently verifiable models for concurrent systems, Formal Methods in System Design, 53:3, (407-431), Online publication date: 1-Dec-2018.
- Desai A, Phanishayee A, Qadeer S and Seshia S (2018). Compositional programming and testing of dynamic distributed systems, Proceedings of the ACM on Programming Languages, 2:OOPSLA, (1-30), Online publication date: 24-Oct-2018.
- Skelin M and Geilen M It's a matter of time Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, (11-21)
- Jing Y, Wang H, Huang Y, Zhang L and Cao Y (2018). A Modeling Language for MapReduce Programing in a Storage System Perspective, Journal of Signal Processing Systems, 90:8-9, (1133-1150), Online publication date: 1-Sep-2018.
- Bianchi F, Margara A and Pezze M (2018). A Survey of Recent Trends in Testing Concurrent Software Systems, IEEE Transactions on Software Engineering, 44:8, (747-783), Online publication date: 1-Aug-2018.
- Huang W and Peleska J (2018). Model-based testing strategies and their (in)dependence on syntactic model representations, International Journal on Software Tools for Technology Transfer (STTT), 20:4, (441-465), Online publication date: 1-Aug-2018.
- Yang C and Li Y (2018). Approximate bisimulation relations for fuzzy automata, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 22:14, (4535-4547), Online publication date: 1-Jul-2018.
- Magnaudet M, Chatty S, Conversy S, Leriche S, Picard C and Prun D (2018). Djnn/Smala, Proceedings of the ACM on Human-Computer Interaction, 2:EICS, (1-27), Online publication date: 19-Jun-2018.
- Skelin M and Geilen M Compositionality in scenario-aware dataflow: a rendezvous perspective Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, (55-64)
- Lange J, Ng N, Toninho B and Yoshida N A static verification framework for message passing in Go using behavioural types Proceedings of the 40th International Conference on Software Engineering, (1137-1148)
- Kutepov V (2018). Models and Languages for Description of Parallel Processes, Journal of Computer and Systems Sciences International, 57:3, (471-481), Online publication date: 1-May-2018.
- Hillston J (2018). Stochastic process algebras and their markovian semantics, ACM SIGLOG News, 5:2, (20-35), Online publication date: 30-Apr-2018.
- Mislove M (2018). Semantics column, ACM SIGLOG News, 5:2, (17-19), Online publication date: 30-Apr-2018.
- Chebieb A and Ait Ameur Y (2018). A formal model for plastic human computer interfaces, Frontiers of Computer Science: Selected Publications from Chinese Universities, 12:2, (351-375), Online publication date: 1-Apr-2018.
- Blöcker C and Hoffmann U (2018). Pardis, The Journal of Supercomputing, 74:4, (1473-1484), Online publication date: 1-Apr-2018.
- Westman J and Nyberg M (2018). Conditions of contracts for separating responsibilities in heterogeneous systems, Formal Methods in System Design, 52:2, (147-192), Online publication date: 1-Apr-2018.
- Du R, Yang J, Cao Y and Wang H (2018). Personalized graph pattern matching via limited simulation, Knowledge-Based Systems, 141:C, (31-43), Online publication date: 1-Feb-2018.
- Fijalkow N (2017). Undecidability results for probabilistic automata, ACM SIGLOG News, 4:4, (10-17), Online publication date: 3-Nov-2017.
- Deifel H, Göttlinger M, Milius S, Schröder L, Dietrich C and Lohmann D Automatic verification of application-tailored OSEK kernels Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, (196-203)
- Wang X, Tian C, Duan Z and Zhao L (2017). MSVL, Frontiers of Computer Science: Selected Publications from Chinese Universities, 11:5, (762-785), Online publication date: 1-Oct-2017.
- Francalanza A, Aceto L and Ingolfsdottir A (2017). Monitorability for the Hennessy---Milner logic with recursion, Formal Methods in System Design, 51:1, (87-116), Online publication date: 1-Aug-2017.
- Farah Z, Ait-Ameur Y, Ouederni M and Tari K (2017). A correct-by-construction model for asynchronously communicating systems, International Journal on Software Tools for Technology Transfer (STTT), 19:4, (465-485), Online publication date: 1-Aug-2017.
- Mashkoor A, Yang F and Jacquot J (2017). Refinement-based Validation of Event-B Specifications, Software and Systems Modeling (SoSyM), 16:3, (789-808), Online publication date: 1-Jul-2017.
- Groote J, Jansen D, Keiren J and Wijs A (2017). An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation, ACM Transactions on Computational Logic, 18:2, (1-34), Online publication date: 23-Jun-2017.
- Deshmukh J, Majumdar R and Prabhu V (2017). Quantifying conformance using the Skorokhod metric, Formal Methods in System Design, 50:2-3, (168-206), Online publication date: 1-Jun-2017.
- Lange J, Ng N, Toninho B and Yoshida N (2017). Fencing off go: liveness and safety for channel-based programming, ACM SIGPLAN Notices, 52:1, (748-761), Online publication date: 11-May-2017.
- Geng H and Jamali N interActors Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, (1550-1552)
- Budde C, Dehnert C, Hahn E, Hartmanns A, Junges S and Turrini A JANI Proceedings, Part II, of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 10206, (151-168)
- Sankur O and Talpin J An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols Proceedings, Part I, of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 10205, (23-40)
- Isenberg T (2017). Incremental Inductive Verification of Parameterized Timed Systems, ACM Transactions on Embedded Computing Systems, 16:2, (1-24), Online publication date: 14-Apr-2017.
- Xie W, Zhu H, Wu X, Xiang S, Guo J and Vinh P (2017). Modeling and Verifying HDFS Using Process Algebra, Mobile Networks and Applications, 22:2, (318-331), Online publication date: 1-Apr-2017.
- Unterberger F and Singer R Actor Based Business Process Automation via Intelligent Business Objects Proceedings of the 9th Conference on Subject-oriented Business Process Management, (1-5)
- Jiang J, Zhu H, Li Q, Zhao Y, Zhao L, Zhang S, Gong P, Hong Z and Chen D (2017). Event-Based Mobility Modeling and Analysis, ACM Transactions on Cyber-Physical Systems, 1:2, (1-32), Online publication date: 28-Feb-2017.
- Kobayashi N and Laneve C (2017). Deadlock analysis of unbounded process networks, Information and Computation, 252:C, (48-70), Online publication date: 1-Feb-2017.
- Ye K and Woodcock J (2017). Model checking of state-rich formalism [InlineEquation not available, International Journal on Software Tools for Technology Transfer (STTT), 19:1, (73-96), Online publication date: 1-Feb-2017.
- Schewe K, Ferrarotti F, Tec L, Wang Q and An W Evolving concurrent systems Proceedings of the Australasian Computer Science Week Multiconference, (1-10)
- Lange J, Ng N, Toninho B and Yoshida N Fencing off go: liveness and safety for channel-based programming Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, (748-761)
- Valero V, Diaz G and Cambronero M (2017). Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources, IEEE Transactions on Software Engineering, 43:1, (76-99), Online publication date: 1-Jan-2017.
- Somogyi E, Hagar A and Glazier J Towards a multi-scale agent-based programming language methodology Proceedings of the 2016 Winter Simulation Conference, (1230-1240)
- Gerhold M and Stoelinga M Model-based testing of stochastic systems with IOCO theory Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, (45-51)
- Wu H and Deng Y (2016). Logical characterizations of simulation and bisimulation for fuzzy transition systems, Fuzzy Sets and Systems, 301:C, (19-36), Online publication date: 15-Oct-2016.
- Zykov S and Shumsky L (2016). Application of Information Processes Applicative Modelling to Virtual Machines Auto Configuration, Procedia Computer Science, 96:C, (1041-1048), Online publication date: 1-Oct-2016.
- Tripakis S, Limaye R, Ravindran K, Wang G, Andrade H and Ghosal A (2016). Tokens vs. Signals, Journal of Signal Processing Systems, 85:1, (23-43), Online publication date: 1-Oct-2016.
- Giachino E, Laneve C and Lienhardt M (2016). A framework for deadlock detection in core ABS, Software and Systems Modeling (SoSyM), 15:4, (1013-1048), Online publication date: 1-Oct-2016.
- Igried B and Setzer A Programming with monadic CSP-style processes in dependent type theory Proceedings of the 1st International Workshop on Type-Driven Development, (28-38)
- Jensen J, Larsen K, Srba J and Oestergaard L (2016). Efficient model-checking of weighted CTL with upper-bound constraints, International Journal on Software Tools for Technology Transfer (STTT), 18:4, (409-426), Online publication date: 1-Aug-2016.
- Abd Alrahman Y, De Nicola R and Loreti M On the Power of Attribute-Based Communication 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Volume 9688, (1-18)
- Kushik N, El-Fakih K, Yevtushenko N and Cavalli A (2016). On adaptive experiments for nondeterministic finite state machines, International Journal on Software Tools for Technology Transfer (STTT), 18:3, (251-264), Online publication date: 1-Jun-2016.
- Casagrande A, Piazza C and Policriti A (2016). Is Hyper-extensionality Preservable Under Deletions of Graph Elements?, Electronic Notes in Theoretical Computer Science (ENTCS), 322:C, (103-118), Online publication date: 18-Apr-2016.
- Colvin R (2016). Modelling and analysing neural networks using a hybrid process algebra, Theoretical Computer Science, 623:C, (15-64), Online publication date: 11-Apr-2016.
- Ertugrul A and Demirors O A Method for Modeling Business Processes in a Role-based and Decentralized Way Proceedings of the 8th International Conference on Subject-oriented Business Process Management, (1-4)
- Singer R Agent-Based Business Process Modeling and Execution Proceedings of the 8th International Conference on Subject-oriented Business Process Management, (1-10)
- Groote J and Wijs A An $$Om\log n$$ Algorithm for Stuttering Equivalence and Branching Bisimulation Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9636, (607-624)
- Ng N and Yoshida N Static deadlock detection for concurrent go by global session graph synthesis Proceedings of the 25th International Conference on Compiler Construction, (174-184)
- Bračevac O, Erdweg S, Salvaneschi G and Mezini M CPL: a core language for cloud computing Proceedings of the 15th International Conference on Modularity, (94-105)
- Wu X and Zhu H (2016). Formalization and analysis of the REST architecture from the process algebra perspective, Future Generation Computer Systems, 56:C, (153-168), Online publication date: 1-Mar-2016.
- Bengtson J, Parrow J and Weber T (2016). Psi-Calculi in Isabelle, Journal of Automated Reasoning, 56:1, (1-47), Online publication date: 1-Jan-2016.
- Arbab F Proper Protocol Essays Dedicated to Frank de Boer on Theory and Practice of Formal Methods - Volume 9660, (65-87)
- Jiang J, Zhu H, Li Q, Zhao Y, Zhao L, Zhang S, Gong P and Hong Z (2015). Analyzing Event-Based Scheduling in Concurrent Reactive Systems, ACM Transactions on Embedded Computing Systems, 14:4, (1-27), Online publication date: 8-Dec-2015.
- Andersen J, Andersen N, Enevoldsen S, Hansen M, Larsen K, Olesen S, Srba J and Wortmann J CAAL Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing - ICTAC 2015 - Volume 9399, (573-582)
- Magnaudet M and Chatty S What epistemological framework for a science of human-machine interaction? Proceedings of the 27th Conference on l'Interaction Homme-Machine, (1-10)
- Latombe F, Crégut X, Combemale B, Deantoni J and Pantel M Weaving concurrency in executable domain-specific modeling languages Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, (125-136)
- Letichevsky A, Letychevskyi O, Peschanenko V and Weigert T Insertion Modeling and Symbolic Verification of Large Systems Proceedings of the 17th International SDL Forum on SDL 2015: Model-Driven Engineering for Smart Cities - Volume 9369, (3-18)
- Djaaboub S, Kerkouche E and Chaoui A A New Approach for Generating LOTOS Specifications from UML Dynamic Models Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering, (138-143)
- Katta N, Zhang H, Freedman M and Rexford J Ravana Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, (1-12)
- Garavel H, Lang F and Mateescu R (2015). Compositional verification of asynchronous concurrent systems using CADP, Acta Informatica, 52:4-5, (337-392), Online publication date: 1-Jun-2015.
- Lamport L (2015). Turing lectureThe computer science of concurrency, Communications of the ACM, 58:6, (71-76), Online publication date: 21-May-2015.
- Millo J, Kofman E and Simone R (2015). Modeling and Analyzing Dataflow Applications on NoC-Based Many-Core Architectures, ACM Transactions on Embedded Computing Systems, 14:3, (1-25), Online publication date: 21-May-2015.
- Spichkova M and Schmidt H Reconciling a component and process view Proceedings of the Seventh International Workshop on Modeling in Software Engineering, (1-6)
- Mouelhi S, Agrou K, Chouali S and Mountassir H Object-Oriented Component-Based Design using Behavioral Contracts Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, (49-58)
- Hense A CSPm models for the ATM case study Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, (1-7)
- Pino L, Aristizábal A, Bonchi F and Valencia F (2015). Weak CCP bisimilarity with strong procedures, Science of Computer Programming, 100:C, (84-104), Online publication date: 15-Mar-2015.
- Deantoni J, Diallo I, Teodorov C, Champeau J and Combemale B Towards a meta-language for the concurrency concern in DSLs Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, (313-316)
- Ashrov A, Marron A, Weiss G and Wiener G (2015). A use-case for behavioral programming, Science of Computer Programming, 98:P2, (268-292), Online publication date: 1-Feb-2015.
- Letichevsky A, Letychevskyi O, Peschanenko V and Huba A (2015). Generating Symbolic Traces in the Insertion Modeling System, Cybernetics and Systems Analysis, 51:1, (5-15), Online publication date: 1-Jan-2015.
- Björklund H, Björklund J and Zechner N (2014). Compression of finite-state automata through failure transitions, Theoretical Computer Science, 557:C, (87-100), Online publication date: 6-Nov-2014.
- Ghorbani S, Schlesinger C, Monaco M, Keller E, Caesar M, Rexford J and Walker D Transparent, Live Migration of a Software-Defined Network Proceedings of the ACM Symposium on Cloud Computing, (1-14)
- Voskuilen G and Vijaykumar T (2014). Fractal++, ACM SIGARCH Computer Architecture News, 42:3, (409-420), Online publication date: 16-Oct-2014.
- Preden J Generating situation awareness in cyber-physical systems Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, (1-3)
- Lochau M, Mennicke S, Baller H and Ribbeck L DeltaCCS Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (320-335)
- Volpato M and Tretmans J Active Learning of Nondeterministic Systems from an ioco Perspective Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (220-235)
- Aceto L, Monica D, Ingólfsdóttir A, Montanari A and Sciavicco G On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761, (267-281)
- Tribastone M Behavioral relations in a process algebra for variants Proceedings of the 18th International Software Product Line Conference - Volume 1, (82-91)
- He J, Wadler P and Trinder P Typecasting actors Proceedings of the Fifth Annual Scala Workshop, (23-33)
- McNeile A The Principle of Comprehensive Modelling Applied to Data and Behaviour Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, (1-5)
- Mokhov A and Khomenko V (2014). Algebra of Parameterised Graphs, ACM Transactions on Embedded Computing Systems, 13:4s, (1-22), Online publication date: 1-Jul-2014.
- Boer F and Gouw S Combining Monitoring with Run-Time Assertion Checking Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483, (217-262)
- Giachino E and Laneve C Deadlock Detection in Linear Recursive Programs Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483, (26-64)
- Voskuilen G and Vijaykumar T Fractal++ Proceeding of the 41st annual international symposium on Computer architecuture, (409-420)
- Hu Q, Du Y and Yu S (2014). Service net algebra based on logic Petri nets, Information Sciences: an International Journal, 268, (271-289), Online publication date: 1-Jun-2014.
- Pradhan A and Joshi R Architecture of a light-weight non-threaded event oriented workflow engine Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, (342-345)
- BjØrner D and Havelund K 40 Years of Formal Methods Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (42-61)
- Leino K and Moskal M Co-induction Simply Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (382-398)
- Xing C (2014). Adding coinduction into discrete mathematics, Journal of Computing Sciences in Colleges, 29:5, (84-90), Online publication date: 1-May-2014.
- Helmert M, Haslum P, Hoffmann J and Nissim R (2014). Merge-and-Shrink Abstraction, Journal of the ACM, 61:3, (1-63), Online publication date: 1-May-2014.
- Colvin R (2014). An operational semantics for object-oriented concepts based on the class hierarchy, Formal Aspects of Computing, 26:3, (491-535), Online publication date: 1-May-2014.
- Zade H, Adimoolam S, Gollapudi S, Dey A and Choppella V Edit distance modulo bisimulation Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (1757-1766)
- Voskuilen G and Vijaykumar T (2014). High-performance fractal coherence, ACM SIGARCH Computer Architecture News, 42:1, (701-714), Online publication date: 5-Apr-2014.
- Voskuilen G and Vijaykumar T (2014). High-performance fractal coherence, ACM SIGPLAN Notices, 49:4, (701-714), Online publication date: 5-Apr-2014.
- Bach Poulsen C and Mosses P Deriving Pretty-Big-Step Semantics from Small-Step Semantics Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410, (270-289)
- Bauer S, Larsen K, Legay A, Nyman U and Wsowski A (2014). A modal specification theory for components with data, Science of Computer Programming, 83, (106-128), Online publication date: 1-Apr-2014.
- Oliveira N, Silva A and Barbosa L Quantitative analysis of Reo-based service coordination Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1247-1254)
- Irić M, Ignjatović J, Bašić M and Jančić I (2014). Nondeterministic automata, Information Sciences: an International Journal, 261, (185-218), Online publication date: 1-Mar-2014.
- Voskuilen G and Vijaykumar T High-performance fractal coherence Proceedings of the 19th international conference on Architectural support for programming languages and operating systems, (701-714)
- Gore R, Diallo S and Padilla J (2014). ConceVE, ACM Transactions on Modeling and Computer Simulation, 24:2, (1-17), Online publication date: 1-Feb-2014.
- Kamali M, Laibinis L, Petre L and Sere K (2014). Formal development of wireless sensor-actor networks, Science of Computer Programming, 80, (25-49), Online publication date: 1-Feb-2014.
- Gore R and Diallo S The need for usable formal methods in verification and validation Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, (1257-1268)
- Raβ S, Kotremba J and Singer R The S-BPM Architecture Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 03, (78-82)
- Barkati K and Jouvelot P (2013). Synchronous programming in audio processing, ACM Computing Surveys, 46:2, (1-35), Online publication date: 1-Nov-2013.
- Zhang W, Song W, Ma X, Yang Q and Zhang X COCO Proceedings of the 5th Asia-Pacific Symposium on Internetware, (1-4)
- Philippou A and Toro M Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models Revised Selected Papers of the SEFM 2013 Collocated Workshops on Software Engineering and Formal Methods - Volume 8368, (345-361)
- Pino L, Bonchi F and Valencia F Efficient computation of program equivalence for confluent concurrent constraint programming Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, (263-274)
- Leino K Automating theorem proving with SMT Proceedings of the 4th international conference on Interactive Theorem Proving, (2-16)
- Morrison D and Ulidowski I Reversible delay-insensitive distributed memory modules Proceedings of the 5th international conference on Reversible Computation, (11-24)
- McNeile A Using motivation and choreography to model distributed workflow Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications, (1-11)
- van Delft A Dataflow constructs for a language extension based on the algebra of communicating processes Proceedings of the 4th Workshop on Scala, (1-10)
- Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S and Zufferey D (2013). P, ACM SIGPLAN Notices, 48:6, (321-332), Online publication date: 23-Jun-2013.
- Desai A, Gupta V, Jackson E, Qadeer S, Rajamani S and Zufferey D P Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, (321-332)
- Borgdorff J, Falcone J, Lorenz E, Bona-Casas C, Chopard B and Hoekstra A (2013). Foundations of distributed multiscale computing, Journal of Parallel and Distributed Computing, 73:4, (465-483), Online publication date: 1-Apr-2013.
- Liu Z, Pang J and Zhang C (2013). Design and formal verification of a CEM protocol with transparent TTP, Frontiers of Computer Science: Selected Publications from Chinese Universities, 7:2, (279-297), Online publication date: 1-Apr-2013.
- Churchill M and Mosses P Modular bisimulation theory for computations and values Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures, (97-112)
- Czaja L (2013). Equations for Asynchronous Message Passing, Fundamenta Informaticae, 128:1-2, (35-45), Online publication date: 1-Jan-2013.
- Hoare T Generic models of the laws of programming Theories of Programming and Formal Methods, (213-226)
- Bezem M, Hovland D and Truong H (2012). A type system for counting instances of software components, Theoretical Computer Science, 458:C, (29-48), Online publication date: 2-Nov-2012.
- Brengos T Weak bisimulations for coalgebras over ordered functors Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science, (87-103)
- Kurnia I and Poetzsch-Heffter A Verification of Open Concurrent Object Systems Revised Lectures of the 11th International Symposium on Formal Methods for Components and Objects - Volume 7866, (83-118)
- Demangeon R and Honda K Nested protocols in session types Proceedings of the 23rd international conference on Concurrency Theory, (272-286)
- Baeten J, Luttik B and Van Tilburg P Turing meets milner Proceedings of the 23rd international conference on Concurrency Theory, (1-20)
- Polyvyanyy A, Weidlich M and Weske M Isotactics as a foundation for alignment and abstraction of behavioral models Proceedings of the 10th international conference on Business Process Management, (335-351)
- de Boer F, Helvensteijn M and Winter J A modal logic for abstract delta modeling Proceedings of the 16th International Software Product Line Conference - Volume 2, (45-52)
- Paoletti N, Lio P, Merelli E and Viceconti M (2012). Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9:5, (1366-1378), Online publication date: 1-Sep-2012.
- Montanari U and Sammartino M (2012). Network Conscious π-calculus, Electronic Notes in Theoretical Computer Science (ENTCS), 286, (291-306), Online publication date: 1-Sep-2012.
- Cao Z (2012). More on bisimulations for higher order π-calculus, Theoretical Computer Science, 446, (1-19), Online publication date: 1-Aug-2012.
- Groce A and Erwig M Finding common ground: choose, assert, and assume Proceedings of the Ninth International Workshop on Dynamic Analysis, (12-17)
- Aceto L, Carayol A, Ésik Z and Ingólfsdóttir A Algebraic synchronization trees and processes Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II, (30-41)
- Roubtsova E Motivation modelling for human-service interaction Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, (1-8)
- Hoare T and van Staden S The laws of programming unify process calculi Proceedings of the 11th international conference on Mathematics of Program Construction, (7-22)
- Blašković B, Skočir Z and Humski L Scenario modeling and verification for business processes Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications, (414-423)
- Cerone A and Hennessy M Modelling probabilistic wireless networks 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, (135-151)
- Calvert W (2012). Review of process algebra: equational theories of communicating processes by J. C. M. Baeten, T. Basten, and M. A. Reniers, ACM SIGACT News, 43:2, (36-38), Online publication date: 11-Jun-2012.
- Ochoa M, Jürjens J and Cuéllar J Non-interference on UML state-charts Proceedings of the 50th international conference on Objects, Models, Components, Patterns, (219-235)
- Nomura A, Ishikawa Y, Maruyama N and Matsuoka S Design and Implementation of Portable and Efficient Non-blocking Collective Communication Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012), (1-8)
- D'Innocenzo A, Abate A and Katoen J Robust PCTL model checking Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, (275-286)
- Basu A, Bensalem S, Bozga M and Sifakis J Rigorous component-based system design Proceedings of the 9th international conference on Rewriting Logic and Its Applications, (1-9)
- Georgievska S and Andova S Probabilistic CSP Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, (136-150)
- Beneš N, Černá I and Štefaňák F Factorization for component-interaction automata Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science, (554-565)
- Gabriel K and Ehrig H Modelling of communication platforms using algebraic high-level nets and their processes Software Service and Application Engineering, (10-25)
- Börger E The subject-oriented approach to software design and the abstract state machines method Conceptual Modelling and Its Theoretical Foundations, (52-72)
- Lekeas G, Kloukinas C and Stathis K Producing enactable protocols in artificial agent societies Proceedings of the 14th international conference on Agents in Principle, Agents in Practice, (311-322)
- Borgström J, Huang S, Johansson M, Raabjerg P, Victor B, Pohjola J and Parrow J Broadcast psi-calculi with an application to wireless protocols Proceedings of the 9th international conference on Software engineering and formal methods, (74-89)
- Mo D, Wang X and Duan Z Asynchronous communication in MSVL Proceedings of the 13th international conference on Formal methods and software engineering, (82-97)
- Lorenz D and Rosenan B Cedalion Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (733-752)
- Lorenz D and Rosenan B (2011). Cedalion, ACM SIGPLAN Notices, 46:10, (733-752), Online publication date: 18-Oct-2011.
- 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)
- Gomes A and Alferes J A proposal for transactions in the semantic web Proceedings of the 15th Portugese conference on Progress in artificial intelligence, (690-703)
- Fisher J, Harel D and Henzinger T (2011). Biology as reactivity, Communications of the ACM, 54:10, (72-82), Online publication date: 1-Oct-2011.
- Skrypnyuk N and Nielson F Reachability for finite-state process algebras using static analysis Proceedings of the 5th international conference on Reachability problems, (231-244)
- Dinculescu M, Hundt C, Panangaden P, Pineau J and Precup D The duality of state and observation in probabilistic transition systems Proceedings of the 9th international conference on Logic, Language, and Computation, (206-230)
- Dechesne F and Reza Mousavi M Interpreted systems semantics for process algebra with identity annotations Proceedings of the 9th international conference on Logic, Language, and Computation, (182-205)
- Paoletti N, Liò P, Merelli E and Viceconti M Osteoporosis Proceedings of the 9th International Conference on Computational Methods in Systems Biology, (183-193)
- Fisher J, Henzinger T, Nickovic D, Piterman N, Singh A and Vardi M Dynamic reactive modules Proceedings of the 22nd international conference on Concurrency theory, (404-418)
- Capretta V (2011). Coalgebras in functional programming and type theory, Theoretical Computer Science, 412:38, (5006-5024), Online publication date: 2-Sep-2011.
- Mardare R Decidability of modular logics for concurrency Proceedings of the 8th international conference on Perspectives of System Informatics, (274-288)
- Best E and Darondeau P Petri net distributability Proceedings of the 8th international conference on Perspectives of System Informatics, (1-18)
- Michaelson G and Grov G Reasoning about multi-process systems with the box calculus Proceedings of the 4th Summer School conference on Central European Functional Programming School, (279-338)
- Butterfield A Reasoning about i/o in functional programs Proceedings of the 4th Summer School conference on Central European Functional Programming School, (93-141)
- Buscemi M, Coppo M, Dezani-Ciancaglini M and Montanari U Constraints for service contracts Proceedings of the 6th international conference on Trustworthy Global Computing, (104-120)
- Melgratti H and Roldán C On correlation sets and correlation exceptions in ActiveBPEL Proceedings of the 6th international conference on Trustworthy Global Computing, (212-226)
- Giachino E and Laneve C Analysis of deadlocks in object groups Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems, (168-182)
- Mishra S, Kushwaha D and Misra A (2011). Hybrid reliable load balancing with MOSIX as middleware and its formal verification using process algebra, Future Generation Computer Systems, 27:5, (506-526), Online publication date: 1-May-2011.
- Sabouri H and Khosravi R Efficient verification of evolving software product lines Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering, (351-358)
- Hasuo I and Jacobs B (2011). Traces for coalgebraic components, Mathematical Structures in Computer Science, 21:2, (267-320), Online publication date: 1-Apr-2011.
- Huisman M and Blondeel H Model-checking secure information flow for multi-threaded programs Proceedings of the 2011 international conference on Theory of Security and Applications, (148-165)
- Dahl M, Delaune S and Steel G Formal analysis of privacy for anonymous location based services Proceedings of the 2011 international conference on Theory of Security and Applications, (98-112)
- Pratt V Linear process algebra Proceedings of the 7th international conference on Distributed computing and internet technology, (92-111)
- Baeten J, Luttik B and van Tilburg P Computations and interaction Proceedings of the 7th international conference on Distributed computing and internet technology, (35-54)
- Turon A and Wand M A separation logic for refining concurrent objects Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (247-258)
- Turon A and Wand M (2011). A separation logic for refining concurrent objects, ACM SIGPLAN Notices, 46:1, (247-258), Online publication date: 26-Jan-2011.
- Arbab F Puff, the magic protocol Formal modeling, (169-206)
- Beg A and Butterfield A Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation Proceedings of the 8th International Conference on Frontiers of Information Technology, (1-5)
- Beg A and Butterfield A Modelling flash devices with FDR Proceedings of the 8th International Conference on Frontiers of Information Technology, (1-6)
- Smith L, Metz D, Bao J and Bizarro P Events, neural systems and time series Proceedings of the 2010 international conference on Towards a service-based internet, (196-202)
- Ciancia V and Montanari U (2010). Symmetries, local names and dynamic (de)-allocation of names, Information and Computation, 208:12, (1349-1367), Online publication date: 1-Dec-2010.
- Bochmann G, Rayner D and West C (2010). Some notes on the history of protocol engineering, Computer Networks: The International Journal of Computer and Telecommunications Networking, 54:18, (3197-3209), Online publication date: 1-Dec-2010.
- Wang Z, Zhou L, Zhao Y, Ping J, Xiao H, Pu G and Zhu H (2010). Web services choreography validation, Service Oriented Computing and Applications, 4:4, (291-305), Online publication date: 1-Dec-2010.
- He C Model independent order relations for processes Proceedings of the 8th Asian conference on Programming languages and systems, (408-423)
- Hanna Y, Samuelson D, Basu S and Rajan H Automating cut-off for multi-parameterized systems Proceedings of the 12th international conference on Formal engineering methods and software engineering, (338-354)
- Khwaja A and Urban J (2010). A property based specification formalism classification, Journal of Systems and Software, 83:11, (2344-2362), Online publication date: 1-Nov-2010.
- Lanese I and Montesi F Error handling Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II, (66-81)
- El Fatni A, Juanole G and Val T Formal modelling and verification of the common hopping multi-channel MAC protocols Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems, (311-318)
- Gröner G and Staab S Specialization and validation of statecharts in OWL Proceedings of the 17th international conference on Knowledge engineering and management by the masses, (360-370)
- Héam P, Kouchnarenko O and Voinot J (2010). Component simulation-based substitutivity managing QoS and composition issues, Science of Computer Programming, 75:10, (898-917), Online publication date: 1-Oct-2010.
- Rathke J and Sobociński P (2010). Deriving structural labelled transitions for mobile ambients, Information and Computation, 208:10, (1221-1242), Online publication date: 1-Oct-2010.
- Al-Sammarraie M, Siewe F and Zedan H Formalising policies of a mLearning system using CCA Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems, (11-19)
- Georgievska S and Andova S Composing systems while preserving probabilities Proceedings of the 7th European performance engineering conference on Computer performance engineering, (268-283)
- David A, Larsen K, Legay A, Nyman U and Wąsowski A ECDAR Proceedings of the 8th international conference on Automated technology for verification and analysis, (365-370)
- Nadkarni D, Basu S, Honavar V and Lutz R Failure analysis for composition of web services represented as labeled transition systems Proceedings of the 7th international conference on Web services and formal methods, (161-175)
- Sproston J and Troina A Simulation and bisimulation for probabilistic timed automata Proceedings of the 8th international conference on Formal modeling and analysis of timed systems, (213-227)
- Sobociński P Representations of Petri net interactions Proceedings of the 21st international conference on Concurrency theory, (554-568)
- Ghica D and Menaa M On the compositionality of round abstraction Proceedings of the 21st international conference on Concurrency theory, (417-431)
- Berrima M and Rajeb N Linking algebraic observational equivalence and bisimulation Proceedings of the 14th international conference on Developments in language theory, (76-87)
- Ésik Z and Maletti A Simulations of weighted tree automata Proceedings of the 15th international conference on Implementation and application of automata, (321-330)
- Ciancia V, Kurz A and Montanari U (2010). Families of Symmetries as Efficient Models of Resource Binding, Electronic Notes in Theoretical Computer Science (ENTCS), 264:2, (63-81), Online publication date: 1-Aug-2010.
- Hillston J Process algebras for collective dynamics Proceedings of the 10th international conference on Mathematics of program construction, (20-21)
- Harel D, Marron A and Weiss G Programming coordinated behavior in java Proceedings of the 24th European conference on Object-oriented programming, (250-274)
- D'Errico L and Loreti M Property-preserving refinement of concurrent systems Proceedings of the 5th international conference on Trustworthly global computing, (222-236)
- Furia C, Mandrioli D, Morzenti A and Rossi M (2010). Modeling time in computing, ACM Computing Surveys, 42:2, (1-59), Online publication date: 1-Feb-2010.
- Tribastone M Relating layered queueing networks and process algebra models Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, (183-194)
- McNeile A and Roubtsova E Aspect-oriented development using protocol modeling Transactions on aspect-oriented software development VII, (115-150)
- McNeile A and Roubtsova E Aspect-oriented development using protocol modeling Transactions on aspect-oriented software development VII, (115-150)
- Gabbrielli M, Palamidessi C and Valencia F Concurrent and reactive constraint programming A 25-year perspective on logic programming, (231-253)
- Winkowski J (2009). An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation, Fundamenta Informaticae, 97:4, (439-470), Online publication date: 1-Dec-2009.
- Taylor M and Stone P (2009). Transfer Learning for Reinforcement Learning Domains: A Survey, The Journal of Machine Learning Research, 10, (1633-1685), Online publication date: 1-Dec-2009.
- Rodrigues C, Oliveira J and Barbosa L (2009). A Single Complete Relational Rule for Coalgebraic Refinement, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (3-19), Online publication date: 1-Dec-2009.
- Roldan A, Pimentel E and Brogi A (2009). Software composition with Linda, Computer Languages, Systems and Structures, 35:4, (395-405), Online publication date: 1-Dec-2009.
- Casagrande A, Piazza C and Policriti A (2009). Discrete Semantics for Hybrid Automata, Discrete Event Dynamic Systems, 19:4, (471-493), Online publication date: 1-Dec-2009.
- Zeiss B and Grabowski J Analyzing Response Inconsistencies in Test Suites Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, (195-210)
- Weiglhofer M, Fraser G and Wotawa F (2009). Using coverage to automate and improve test purpose based testing, Information and Software Technology, 51:11, (1601-1617), Online publication date: 1-Nov-2009.
- González De Mendívil J, Armendáriz-Iñigo J, Garitagoitia J and Muñoz-Escoí F (2009). A formal analysis of database replication protocols with SI replicas and crash failures, The Journal of Supercomputing, 50:2, (121-161), Online publication date: 1-Nov-2009.
- Collinson M and Pym D (2009). Algebra and logic for resource-based systems modelling, Mathematical Structures in Computer Science, 19:5, (959-1027), Online publication date: 1-Oct-2009.
- Staton S Relating coalgebraic notions of bisimulation Proceedings of the 3rd international conference on Algebra and coalgebra in computer science, (191-205)
- Plotkin G Adequacy for infinitary algebraic effects Proceedings of the 3rd international conference on Algebra and coalgebra in computer science, (1-2)
- Hanna Y, Basu S and Rajan H Behavioral automata composition for automatic topology independent verification of parameterized systems Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (325-334)
- Castro P, Panangaden P and Precup D Equivalence relations in fully and partially observable Markov decision processes Proceedings of the 21st International Joint Conference on Artificial Intelligence, (1653-1658)
- Rathke J and Sobociński P (2009). Making the Unobservable, Unobservable, Electronic Notes in Theoretical Computer Science (ENTCS), 229:3, (131-144), Online publication date: 1-Jul-2009.
- Bundgaard M, Godskesen J, Haagensen B and Hüttel H (2009). Decidable Fragments of a Higher Order Calculus with Locations, Electronic Notes in Theoretical Computer Science (ENTCS), 242:1, (113-138), Online publication date: 1-Jul-2009.
- Dovier A and Quintarelli E (2009). Applying model-checking to solve queries on semistructured data, Computer Languages, Systems and Structures, 35:2, (143-172), Online publication date: 1-Jul-2009.
- McNeile A and Roubtsova E Composition semantics for executable and evolvable behavioral modeling in MDA Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, (1-8)
- Gromov M, El-Fakih K, Shabaldina N and Yevtushenko N Distinguing Non-deterministic Timed Finite State Machines Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, (137-151)
- Szirbik N and Stuit M Default interactions for multi-agent simulations of complex organizations Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation, (1-15)
- Hovland D A Type System for Usage of Software Components Types for Proofs and Programs, (186-202)
- Högberg J, Maletti A and Vogler H (2009). Bisimulation Minimisation of Weighted Automata on Unranked Trees, Fundamenta Informaticae, 92:1-2, (103-130), Online publication date: 1-Jun-2009.
- Ko R (2009). A computer scientist's introductory guide to business process management (BPM), XRDS: Crossroads, The ACM Magazine for Students, 15:4, (11-18), Online publication date: 1-Jun-2009.
- Castagna G, Gesbert N and Padovani L (2009). A theory of contracts for Web services, ACM Transactions on Programming Languages and Systems, 31:5, (1-61), Online publication date: 1-Jun-2009.
- Bruni R Calculi for Service-Oriented Computing Formal Methods for Web Services, (1-41)
- Spanfelner B, Leuxner C and Sitou W Formal specification of system functions Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering, (26-31)
- Baldoni M, Baroglio C, Chopra A, Desai N, Patti V and Singh M Choice, interoperability, and conformance in interaction protocols and service choreographies Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, (843-850)
- Sangiorgi D (2009). On the origins of bisimulation and coinduction, ACM Transactions on Programming Languages and Systems, 31:4, (1-41), Online publication date: 1-May-2009.
- Roubtsova E and McNeile A Abstractions, composition and reasoning Proceedings of the 13th workshop on Aspect-oriented modeling, (19-24)
- Pace G and Schneider G Challenges in the Specification of Full Contracts Proceedings of the 7th International Conference on Integrated Formal Methods, (292-306)
- Jacquet J and Linden I (2009). Fully abstract models and refinements as tools to compare agents in timed coordination languages, Theoretical Computer Science, 410:2-3, (221-253), Online publication date: 1-Feb-2009.
- van Glabbeek R and Mosses P (2009). Preface, Information and Computation, 207:2, (83-84), Online publication date: 1-Feb-2009.
- Bonchi F, Brogi A, Corfini S and Gadducci F (2008). On the Use of Behavioural Equivalences for Web Services' Development, Fundamenta Informaticae, 89:4, (479-510), Online publication date: 31-Jan-2009.
- Dagand P, Kostić D and Kuncak V Opis Proceedings of the 4th international workshop on Types in language design and implementation, (65-78)
- Winkowski J (2009). An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation, Fundamenta Informaticae, 97:1-2, (235-273), Online publication date: 1-Jan-2009.
- Gribovskaya N and Virbitskaite I (2009). Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems, Fundamenta Informaticae, 93:1-3, (127-142), Online publication date: 1-Jan-2009.
- Högberg J, Maletti A and Vogler H (2009). Bisimulation Minimisation of Weighted Automata on Unranked Trees, Fundamenta Informaticae, 92:1-2, (103-130), Online publication date: 1-Jan-2009.
- Winkowski J (2009). An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation, Fundamenta Informaticae, 97:1-2, (235-273), Online publication date: 1-Jan-2009.
- Gribovskaya N and Virbitskaite I (2009). Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems, Fundamenta Informaticae, 93:1-3, (127-142), Online publication date: 1-Jan-2009.
- Aceto L, Fokkink W, Ingolfsdottir A and Luttik B (2009). A finite equational base for CCS with left merge and communication merge, ACM Transactions on Computational Logic, 10:1, (1-26), Online publication date: 1-Jan-2009.
- Garavel H, Salaün G and Serwe W (2009). On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP, Science of Computer Programming, 74:3, (100-127), Online publication date: 1-Jan-2009.
- Hirst T (2009). A Rice-style theorem for parallel automata, Information and Computation, 207:1, (1-13), Online publication date: 1-Jan-2009.
- Bonchi F, Brogi A, Corfini S and Gadducci F (2008). On the Use of Behavioural Equivalences for Web Services' Development, Fundamenta Informaticae, 89:4, (479-510), Online publication date: 1-Dec-2008.
- Liu X and Lee E (2008). CPO semantics of timed interactive actor networks, Theoretical Computer Science, 409:1, (110-125), Online publication date: 1-Dec-2008.
- Trčka N and Georgievska S (2008). Branching Bisimulation Congruence for Probabilistic Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 220:3, (129-143), Online publication date: 1-Dec-2008.
- Corro Ramos I, Bucchianico A, Hakobyan L and Hee K Model Driven Testing Based on Test History Transactions on Petri Nets and Other Models of Concurrency I, (134-151)
- Calzolai F, Nicola R, Loreti M and Tiezzi F TAPAs Transactions on Petri Nets and Other Models of Concurrency I, (54-70)
- Winkowski J (2008). An Algebraic Framework for Defining Random Concurrent Behaviours, Fundamenta Informaticae, 85:1-4, (481-496), Online publication date: 20-Sep-2008.
- Ploeger B and Tankink C Improving an interactive visualization of transition systems Proceedings of the 4th ACM symposium on Software visualization, (115-124)
- McEwan A and Woodcock J Unifying theories of interrupts Proceedings of the 2nd international conference on Unifying theories of programming, (122-141)
- Mardare R and Policriti A A Complete Axiomatic System for a Process-Based Spatial Logic Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science, (491-502)
- Bruni R, Lanese I, Melgratti H and Tuosto E Multiparty sessions in SOC Proceedings of the 10th international conference on Coordination models and languages, (67-82)
- Gruler A, Leucker M and Scheidemann K Modeling and Model Checking Software Product Lines Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (113-131)
- Rule-Based Approaches for Equivalence Checking of SpecC Programs Proceedings of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Co-Design, (39-48)
- Boudol G, Castellani I, Hennessy M, Nielsen M and Winskel G Twenty Years on Concurrency, Graphs and Models, (757-777)
- Beauxis R, Palamidessi C and Valencia F On the Asynchronous Nature of the Asynchronous Π-Calculus Concurrency, Graphs and Models, (473-492)
- Grogono P and Shearing B Concurrent software engineering Proceedings of the 2008 C3S2E conference, (99-108)
- Höfner P and Lautenbacher F (2008). Algebraic Structure of Web Services, Electronic Notes in Theoretical Computer Science (ENTCS), 200:3, (171-187), Online publication date: 1-May-2008.
- Chen H More on weak bisimilarity of normed basic parallel processes Proceedings of the 5th international conference on Theory and applications of models of computation, (192-203)
- Bergstra J and Middelburg C (2008). Maurer computers for pipelined instruction processing†, Mathematical Structures in Computer Science, 18:2, (373-409), Online publication date: 1-Apr-2008.
- Garavel H (2008). Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Electronic Notes in Theoretical Computer Science (ENTCS), 209, (149-164), Online publication date: 1-Apr-2008.
- Hojjat H, Mousavi M and Sirjani M A framework for performance evaluation and functional verification in stochastic process algebras Proceedings of the 2008 ACM symposium on Applied computing, (339-346)
- Laid K and Allaoua C Code mobility modeling Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications, (1-6)
- Jeffrey A and Rathke J (2008). Full abstraction for polymorphic π-calculus, Theoretical Computer Science, 390:2-3, (171-196), Online publication date: 20-Jan-2008.
- Castagna G, Gesbert N and Padovani L (2008). A theory of contracts for web services, ACM SIGPLAN Notices, 43:1, (261-272), Online publication date: 14-Jan-2008.
- Fecher H and Huth M Model checking for action abstraction Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation, (112-126)
- Castagna G, Gesbert N and Padovani L A theory of contracts for web services Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (261-272)
- Winkowski J (2008). An Algebraic Framework for Defining Random Concurrent Behaviours, Fundamenta Informaticae, 85:1-4, (481-496), Online publication date: 1-Jan-2008.
- Wang Y On mathematical laws of software Transactions on computational science II, (46-83)
- Wang Y On contemporary denotational mathematics for computational intelligence Transactions on computational science II, (6-29)
- ter Beek M, Gadducci F and Janssens D (2008). A Calculus for Team Automata, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (41-55), Online publication date: 1-Jan-2008.
- Alves de Medeiros A, van der Aalst W and Weijters A (2008). Quantifying process equivalence based on observed behavior, Data & Knowledge Engineering, 64:1, (55-74), Online publication date: 1-Jan-2008.
- van Hee K, Oanea O, Serebrenik A, Sidorova N and Voorhoeve M (2008). History-based joins, Data & Knowledge Engineering, 64:1, (24-37), Online publication date: 1-Jan-2008.
- Saha D An incremental bisimulation algorithm Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science, (204-215)
- Miller T and McBurney P (2007). A formal semantics for Gaia liveness rules and expressions, International Journal of Agent-Oriented Software Engineering, 1:3/4, (435-476), Online publication date: 1-Dec-2007.
- Cheung L, Stoelinga M and Vaandrager F (2007). A testing scenario for probabilistic processes, Journal of the ACM, 54:6, (29-es), Online publication date: 1-Dec-2007.
- Nain S and Vardi M Branching vs. linear time Proceedings of the 5th international conference on Automated technology for verification and analysis, (19-34)
- Dechesne F, Mousavi M and Orzan S Operational and epistemic approaches to protocol analysis Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning, (226-241)
- Maraninchi F and Bouhadiba T 42 Proceedings of the 6th international conference on Generative programming and component engineering, (53-62)
- Honda K and Yoshida N (2007). A uniform type structure for secure information flow, ACM Transactions on Programming Languages and Systems, 29:6, (31-es), Online publication date: 1-Oct-2007.
- Sumii E and Pierce B (2007). A bisimulation for type abstraction and recursion, Journal of the ACM, 54:5, (26-es), Online publication date: 1-Oct-2007.
- Gou G and Chirkova R (2007). Efficiently Querying Large XML Data Repositories, IEEE Transactions on Knowledge and Data Engineering, 19:10, (1381-1403), Online publication date: 1-Oct-2007.
- van Beek D, Rooda J, Schiffelers R, Man K and Reniers M (2007). Relating Hybrid Chi to Other Formalisms, Electronic Notes in Theoretical Computer Science (ENTCS), 191, (85-113), Online publication date: 1-Oct-2007.
- Liu X and Chen H Deciding weak bisimilarity of normed context-free processes using tableau Proceedings of the 4th international conference on Theoretical aspects of computing, (337-350)
- De Leoni M, Mecella M and De Giacomo G Highly dynamic adaptation in process management systems through execution monitoring Proceedings of the 5th international conference on Business process management, (182-197)
- French T Idempotent Transductions for Modal Logics Proceedings of the 6th international symposium on Frontiers of Combining Systems, (178-192)
- Chandrasekaran P, Conway C, Joy J and Rajamani S 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, (65-74)
- Versari C, Busi N and Gorrieri R On the expressive power of global and local priority in process calculi Proceedings of the 18th international conference on Concurrency Theory, (241-255)
- Laneve C and Padovani L The must preorder revisited Proceedings of the 18th international conference on Concurrency Theory, (212-225)
- 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)
- Burgin M and Calude C (2007). Preface, Theoretical Computer Science, 383:2-3, (111-114), Online publication date: 3-Sep-2007.
- Josephs M and Kapoor H (2007). Controllable Delay-Insensitive Processes, Fundamenta Informaticae, 78:1, (101-130), Online publication date: 1-Sep-2007.
- Mardare R Observing distributed computation Proceedings of the 2nd international conference on Algebra and coalgebra in computer science, (379-393)
- Baldan P, Corradini A, Ehrig H, Heckel R and König B Bisimilarity and behaviour-preserving reconfigurations of open Petri nets Proceedings of the 2nd international conference on Algebra and coalgebra in computer science, (126-142)
- Högberg J, Maletti A and May J Bisimulation minimisation for weighted tree automata Proceedings of the 11th international conference on Developments in language theory, (229-241)
- Bolton C Capturing conflict and confusion in CSP Proceedings of the 6th international conference on Integrated formal methods, (413-438)
- Baralis E, Garza P, Quintarelli E and Tanca L (2007). Answering XML queries by means of data summaries, ACM Transactions on Information Systems, 25:3, (10-es), Online publication date: 1-Jul-2007.
- Pelayo F, Pelayo M and Guirao J (2007). Generating the syntactic and semantics graphs for a Markovian process algebra, Journal of Computational and Applied Mathematics, 204:1, (38-47), Online publication date: 1-Jul-2007.
- Shabaldina N, El-Fakih K and Yevtushenko N Testing nondeterministic finite state machines with respect to the separability relation Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems, (305-318)
- Saïdi H Guarded models for intrusion detection Proceedings of the 2007 workshop on Programming languages and analysis for security, (85-94)
- Pathak J, Basu S and Honavar V Assembling Composite Web Services from Autonomous Components Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies, (394-405)
- Jacquet J and Linden I Towards a theory of refinement in timed coordination languages Proceedings of the 9th international conference on Coordination models and languages, (113-131)
- Pilegaard H, Nielson F and Nielson H (2007). Active Evaluation Contexts for Reaction Semantics, Electronic Notes in Theoretical Computer Science (ENTCS), 175:1, (57-70), Online publication date: 1-May-2007.
- Bonchi F, Brogi A, Corfini S and Gadducci F A behavioural congruence for web services Proceedings of the 2007 international conference on Fundamentals of software engineering, (240-256)
- Pym D and Tofts C (2007). Systems Modelling via Resources and Processes, Electronic Notes in Theoretical Computer Science (ENTCS), 172, (545-587), Online publication date: 1-Apr-2007.
- Datta A, Derek A, Mitchell J and Roy A (2007). Protocol Composition Logic (PCL), Electronic Notes in Theoretical Computer Science (ENTCS), 172, (311-358), Online publication date: 1-Apr-2007.
- Bengtson J and Parrow J Formalising the π-calculus using nominal logic Proceedings of the 10th international conference on Foundations of software science and computational structures, (63-77)
- Ploeger B and Somers L Analysis and verification of an automatic document feeder Proceedings of the 2007 ACM symposium on Applied computing, (1499-1505)
- Nami M, Tehrani M and Sharifi M (2007). Applying domain engineering using RAISE into a particular banking domain, ACM SIGSOFT Software Engineering Notes, 32:2, (1-6), Online publication date: 1-Mar-2007.
- Winkowski J (2007). Towards a Framework for Modelling Behaviours of Hybrid Systems, Fundamenta Informaticae, 80:1-3, (311-332), Online publication date: 1-Jan-2007.
- Josephs M and Kapoor H (2007). Controllable Delay-Insensitive Processes, Fundamenta Informaticae, 78:1, (101-130), Online publication date: 1-Jan-2007.
- Reisig W, Bretschneider J, Fahland D, Lohmann N, Massuthe P and Stahl C Services as a paradigm of computation Formal methods and hybrid real-time systems, (521-538)
- 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)
- Broy M From "formal methods" to system modeling Formal methods and hybrid real-time systems, (24-44)
- Milner R Elements of interaction ACM Turing award lectures
- Kuang L, Li Y, Deng S, Wu J, Shi W and Wu Z Expressing Service and Query Behavior Using \pi-Calculus for Matchmaking Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (629-632)
- Philippou A and Michael G Verification techniques for distributed algorithms Proceedings of the 10th international conference on Principles of Distributed Systems, (172-186)
- van Glabbeek R (2006). Erratum to “On the expressiveness of higher dimensional automata”, Theoretical Computer Science, 368:1-2, (168-194), Online publication date: 1-Dec-2006.
- Bruni R and Lanese I PRISMA Proceedings of the 2nd international conference on Trustworthy global computing, (132-149)
- Deng S, Wu Z, Zhou M, Li Y and Wu J Modeling service compatibility with pi-calculus for choreography Proceedings of the 25th international conference on Conceptual Modeling, (26-39)
- 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)
- Sadani T, Boyer M, de Saqui-Sannes P and Courtiat J Mapping RT-LOTOS specifications into time petri nets Proceedings of the 8th international conference on Formal Methods and Software Engineering, (360-379)
- Dong J, Hao P, Sun J and Zhang X A reasoning method for timed CSP based on constraint solving Proceedings of the 8th international conference on Formal Methods and Software Engineering, (342-359)
- Wimmer R, Herbstritt M, Hermanns H, Strampp K and Becker B Sigref Proceedings of the 4th international conference on Automated Technology for Verification and Analysis, (477-492)
- Lee E Concurrent semantics without the notions of state or state transitions Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems, (18-31)
- Andreeva M and Virbitskaite I (2006). Observational Equivalences for Timed Stable Event Structures, Fundamenta Informaticae, 72:1-3, (1-19), Online publication date: 15-Sep-2006.
- Miller T and McBurney P Using constraints and process algebra for specification of first-class agent interaction protocols Proceedings of the 7th international conference on Engineering societies in the agents world VII, (245-264)
- van Hee K, Oanea O, Serebrenik A, Sidorova N and Voorhoeve M History-based joins Proceedings of the 4th international conference on Business Process Management, (225-240)
- van der Aalst W, de Medeiros A and Weijters A Process equivalence Proceedings of the 4th international conference on Business Process Management, (129-144)
- Kupferman O and Sheinvald-Faragy S Finding shortest witnesses to the nonemptiness of automata on infinite words Proceedings of the 17th international conference on Concurrency Theory, (492-508)
- Chen T and Fokkink W On finite alphabets and infinite bases III Proceedings of the 17th international conference on Concurrency Theory, (421-434)
- van Breugel F and Worrell J (2006). Approximating and computing behavioural distances in probabilistic transition systems, Theoretical Computer Science, 360:1, (373-385), Online publication date: 21-Aug-2006.
- Cheng Y, Wang H and Cheng Y On-the-Fly branching bisimulation minimization for compositional analysis Proceedings of the 11th international conference on Implementation and Application of Automata, (219-229)
- Falcone Y, Fernandez J, Mounier L and Richier J A test calculus framework applied to network security policies Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification, (55-69)
- Wang M, Jin L and Liu L A description method of ontology change management using pi-calculus Proceedings of the First international conference on Knowledge Science, Engineering and Management, (477-489)
- Bergstra J and Middelburg C (2006). Thread Algebra with Multi-Level Strategies, Fundamenta Informaticae, 71:2,3, (153-182), Online publication date: 1-Aug-2006.
- Bergstra J and Middelburg C (2006). Thread Algebra with Multi-Level Strategies, Fundamenta Informaticae, 71:2,3, (153-182), Online publication date: 1-Aug-2006.
- Ferns N, Castro P, Precup D and Panangaden P Methods for computing state similarity in Markov decision processes Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence, (174-181)
- Aziz B Measuring the speed of information leakage in mobile processes Proceedings of the 11th international conference on Algebraic Methodology and Software Technology, (36-50)
- Hutter D Possibilistic information flow control in MAKS and action refinement Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security, (268-281)
- Zeiss B, Neukirchen H, Grabowski J, Evans D and Baker P Refactoring and metrics for TTCN-3 test suites Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles, (148-165)
- Briot J, Meurisse T and Peschanski F Architectural design of component-based agents Proceedings of the 4th international conference on Programming multi-agent systems, (71-90)
- Amato G, Coppola M, Gnesi S, Scozzari F and Semini L (2006). Modeling Web Applications by the Multiple Levels of Integrity Policy, Electronic Notes in Theoretical Computer Science (ENTCS), 157:2, (167-185), Online publication date: 1-May-2006.
- Bäumler S, Balser M, Dunets A, Reif W and Schmitt J Verification of medical guidelines by model checking – a case study Proceedings of the 13th international conference on Model Checking Software, (219-233)
- Lawesson D, Nilsson U and Klein I (2006). An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 149:2, (139-153), Online publication date: 1-Feb-2006.
- Lodaya K (2006). A regular viewpoint on processes and algebra, Acta Cybernetica, 17:4, (751-763), Online publication date: 30-Jan-2006.
- Andreeva M and Virbitskaite I (2006). Observational Equivalences for Timed Stable Event Structures, Fundamenta Informaticae, 72:1-3, (1-19), Online publication date: 1-Jan-2006.
- Talcott C and Dill D Multiple representations of biological processes Transactions on Computational Systems Biology VI, (221-245)
- Milner R (2006). Pure bigraphs, Information and Computation, 204:1, (60-122), Online publication date: 1-Jan-2006.
- French T Bisimulation quantified logics Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science, (396-407)
- Gu Z Timing analysis of distributed end-to-end task graphs with model-checking Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing, (214-223)
- Guo W, Yang Y and Zhai Z Grid services adaptation in a grid workflow Proceedings of the 4th international conference on Grid and Cooperative Computing, (172-177)
- Grove D and Coddington P (2005). Communication Benchmarking and Performance Modelling of MPI Programs on Cluster Computers, The Journal of Supercomputing, 34:2, (201-217), Online publication date: 1-Nov-2005.
- Ferrari G, Hirsch D, Lanese I, Montanari U and Tuosto E Synchronised hyperedge replacement as a model for service oriented computing Proceedings of the 4th international conference on Formal Methods for Components and Objects, (22-43)
- Distefano D, Katoen J and Rensink A Safety and liveness in concurrent pointer programs Proceedings of the 4th international conference on Formal Methods for Components and Objects, (280-312)
- Rutten J (2005). A tutorial on coinductive stream calculus and signal flow graphs, Theoretical Computer Science, 343:3, (443-481), Online publication date: 17-Oct-2005.
- Bergstra J and Bethke I (2005). Polarized process algebra with reactive composition, Theoretical Computer Science, 343:3, (285-304), Online publication date: 17-Oct-2005.
- Hou L and Jin Z FECT Proceedings of the 6th international conference on Advances in Web-Age Information Management, (320-332)
- Kiehn A and Arun-Kumar S Amortised bisimulations Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems, (320-334)
- Feng X and Shao Z Modular verification of concurrent assembly code with dynamic thread creation and termination Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, (254-267)
- Doyen L, Henzinger T and Raskin J Automatic rectangular refinement of affine hybrid systems Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems, (144-161)
- Feng X and Shao Z (2005). Modular verification of concurrent assembly code with dynamic thread creation and termination, ACM SIGPLAN Notices, 40:9, (254-267), Online publication date: 12-Sep-2005.
- Hameurlain N On Compatibility and Behavioural Substitutability of Component Protocols Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, (394-403)
- ter Beek M, Martín-Vide C and Mitrana V (2005). Synchronized shuffles, Theoretical Computer Science, 341:1, (263-275), Online publication date: 5-Sep-2005.
- van der Aalst W, Dreiling A, Gottschalk F, Rosemann M and Jansen-Vullers M Configurable process models as a basis for reference modeling Proceedings of the Third international conference on Business Process Management, (512-518)
- Bashkin V and Lomazova I Similarity of generalized resources in petri nets Proceedings of the 8th international conference on Parallel Computing Technologies, (27-41)
- Bruni R, Lanese I and Montanari U Complete axioms for stateless connectors Proceedings of the First international conference on Algebra and Coalgebra in Computer Science, (98-113)
- Cheng Y Crafting a promela front-end with abstract data types to mitigate the sensitivity of (compositional) analysis to implementation choices Proceedings of the 12th international conference on Model Checking Software, (139-153)
- Baier C, Katoen J, Hermanns H and Wolf V (2005). Comparative branching-time semantics for Markov chains, Information and Computation, 200:2, (149-214), Online publication date: 1-Aug-2005.
- Boer F, Vries W, Meyer J, Eijk R and Hoek W (2005). Process algebra and constraint programming for modeling interactions in MAS, Applicable Algebra in Engineering, Communication and Computing, 16:2-3, (113-150), Online publication date: 1-Aug-2005.
- Keil D and Goldin D Indirect interaction in environments for multi-agent systems Proceedings of the 2nd international conference on Environments for Multi-Agent Systems, (68-87)
- Bolton C Adding conflict and confusion to CSP Proceedings of the 2005 international conference on Formal Methods, (205-220)
- Haroud M and Biere A SDL versus c equivalence checking Proceedings of the 12th international conference on Model Driven, (323-338)
- Pucella R (2005). Logical verification and equational verification, ACM SIGACT News, 36:2, (77-88), Online publication date: 1-Jun-2005.
- Mao W (2005). A structured operational semantic modelling of the Dolev-Yao threat environment and its composition with cryptographic protocols, Computer Standards & Interfaces, 27:5, (479-488), Online publication date: 1-Jun-2005.
- Bruni R, Montanari U and Sassone V (2005). Observational congruences for dynamically reconfigurable tile systems, Theoretical Computer Science, 335:2-3, (331-372), Online publication date: 23-May-2005.
- Baeten J (2005). A brief history of process algebra, Theoretical Computer Science, 335:2-3, (131-146), Online publication date: 23-May-2005.
- Halpern J and O'Neill K (2005). Anonymity and information hiding in multiagent systems, Journal of Computer Security, 13:3, (483-514), Online publication date: 1-May-2005.
- Bourahla M and Benmohamed M (2005). Analysis of Real-Time Systems with CTL Model Checkers, Electronic Notes in Theoretical Computer Science (ENTCS), 133, (41-60), Online publication date: 1-May-2005.
- Ray A Enforcing distributed information flow policies architecturally Proceedings of the 7th international conference on Coordination Models and Languages, (125-139)
- Jeffrey A and Rathke J Java JR Proceedings of the 14th European conference on Programming Languages and Systems, (423-438)
- Lee W and Roh C Incremental verification methodology for DEVS models Proceedings of the 4th WSEAS International Conference on Signal Processing, Robotics and Automation, (1-6)
- Datta A, Küsters R, Mitchell J and Ramanathan A On the relationships between notions of simulation-based security Proceedings of the Second international conference on Theory of Cryptography, (476-494)
- Abdi S and Gajski D A formalism for functionality preserving system level transformations Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (139-144)
- Sumii E and Pierce B (2005). A bisimulation for type abstraction and recursion, ACM SIGPLAN Notices, 40:1, (63-74), Online publication date: 12-Jan-2005.
- Sumii E and Pierce B A bisimulation for type abstraction and recursion Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (63-74)
- Plasil F Enhancing component specification by behavior description Proceedings of the 4th international symposium on Information and communication technologies, (185-190)
- Bergstra J and Middelburg C Model theory for process algebra Processes, Terms and Cycles, (445-495)
- Milner R Embeddings and contexts for link graphs Formal Methods in Software and Systems Modeling, (343-351)
- Astesiano E and Reggio G From conditional specifications to interaction charts Formal Methods in Software and Systems Modeling, (167-189)
- Hidders J, Dumas M, van der Aalst W, ter Hofstede A and Verelst J When are two workflows the same? Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (3-11)
- Brandes U and Lerner J Structural similarity in graphs Proceedings of the 15th international conference on Algorithms and Computation, (184-195)
- Snoeck M, Lemahieu W, Goethals F, Dedene G and Vandenbulcke J (2004). Events as atomic contracts for component integration, Data & Knowledge Engineering, 51:1, (81-107), Online publication date: 1-Oct-2004.
- de Frutos Escrig D and Rodróguez C Preserving contexts for soft conformance relation Proceedings of the 4th international conference on Formal Approaches to Software Testing, (33-48)
- Yu D and Shao Z Verification of safety properties for concurrent assembly code Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (175-188)
- Yu D and Shao Z (2004). Verification of safety properties for concurrent assembly code, ACM SIGPLAN Notices, 39:9, (175-188), Online publication date: 19-Sep-2004.
- Jeffrey A and Rathke J (2004). A theory of bisimulation for a fragment of concurrent ML with local names, Theoretical Computer Science, 323:1-3, (1-48), Online publication date: 14-Sep-2004.
- Koshkina M and van Breugel F (2004). Modelling and verifying web service orchestration by means of the concurrency workbench, ACM SIGSOFT Software Engineering Notes, 29:5, (1-10), Online publication date: 1-Sep-2004.
- Debois S Imperative program optimization by partial evaluation Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (113-122)
- Ferns N, Panangaden P and Precup D Metrics for finite Markov decision processes Proceedings of the 20th conference on Uncertainty in artificial intelligence, (162-169)
- Brookes S Retracing the semantics of CSP Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years, (1-14)
- Yorav K and Grumberg O (2004). Static Analysis for State-Space Reductions Preserving Temporal Logics, Formal Methods in System Design, 25:1, (67-96), Online publication date: 1-Jul-2004.
- Abdi S and Gajski D Automatic generation of equivalent architecture model from functional specification Proceedings of the 41st annual Design Automation Conference, (608-613)
- Nygaard M and Winskel G (2004). Domain theory for concurrency, Theoretical Computer Science, 316:1-3, (153-190), Online publication date: 28-May-2004.
- Baralis E, Garza P, Quintarelli E and Tanca L Summarizing XML data by means of association rules Proceedings of the 2004 international conference on Current Trends in Database Technology, (260-269)
- Abdi S and Gajski D On deriving equivalent architecture model from system specification Proceedings of the 2004 Asia and South Pacific Design Automation Conference, (322-327)
- Argent-Katwala A, Bradley J and Dingle N Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models Proceedings of the 4th international workshop on Software and performance, (49-58)
- van Breugel F (2004). De Bakker-Zucker processes revisited, Information and Computation, 188:1, (68-76), Online publication date: 10-Jan-2004.
- Argent-Katwala A, Bradley J and Dingle N (2004). Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models, ACM SIGSOFT Software Engineering Notes, 29:1, (49-58), Online publication date: 1-Jan-2004.
- Bourdonov I, Kossatchev A and Kuliamin V (2004). Irredundant Algorithms for Traversing Directed Graphs, Programming and Computing Software, 30:1, (2-17), Online publication date: 1-Jan-2004.
- Kaynar D, Lynch N, Segala R and Vaandrager F Timed I/O Automata Proceedings of the 24th IEEE International Real-Time Systems Symposium
- Bergstra J, Ponse A and van der Zwaag M (2003). Branching time and orthogonal bisimulation equivalence, Theoretical Computer Science, 309:1, (313-355), Online publication date: 2-Dec-2003.
- Jumpamule W, Paillet J and Giambiasi N (2003). Using Simulation for the Validation of High Level Specifications of Control Systems, Journal of Intelligent and Robotic Systems, 38:3-4, (345-375), Online publication date: 1-Dec-2003.
- Rutten J (2003). Behavioural differential equations, Theoretical Computer Science, 308:1-3, (1-53), Online publication date: 3-Nov-2003.
- Gulias V, Valderruten A and Abalde C Building functional patterns for implementing distributed applications Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research, (89-98)
- Cheng Y, Young M, Huang C and Pan C (2003). Towards scalable compositional analysis by refactoring design models, ACM SIGSOFT Software Engineering Notes, 28:5, (247-256), Online publication date: 1-Sep-2003.
- Cheng Y, Young M, Huang C and Pan C Towards scalable compositional analysis by refactoring design models Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (247-256)
- Lamport L (2003). Arbitration-free synchronization, Distributed Computing, 16:2-3, (219-237), Online publication date: 1-Sep-2003.
- Ray A Security check Proceedings of the 2003 workshop on New security paradigms, (59-65)
- Ingólfsdóttir A (2003). A semantic theory for value-passing processes based on the late approach, Information and Computation, 184:1, (1-44), Online publication date: 10-Jul-2003.
- Stoelinga M and Vaandrager F A testing scenario for probabilistic automata Proceedings of the 30th international conference on Automata, languages and programming, (464-477)
- Hull R, Benedikt M, Christophides V and Su J E-services Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (1-14)
- Moller F and Smolka S On the computational complexity of bisimulation, redux Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday, (55-59)
- Fernandez J, Bozga M and Ghirvu L (2003). State space reduction based on live variables analysis, Science of Computer Programming, 47:2-3, (203-220), Online publication date: 1-May-2003.
- 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)
- Bashkin V and Lomazova I (2003). Petri nets and resource bisimulation, Fundamenta Informaticae, 55:2, (101-114), Online publication date: 1-Apr-2003.
- Pucella R (2003). Review of the π-calculus, ACM SIGACT News, 34:1, (17-24), Online publication date: 1-Mar-2003.
- Burns A (2003). How to Verify a Safe Real-Time System, Real-Time Systems, 24:2, (135-151), Online publication date: 1-Mar-2003.
- Carreira P and Costa M (2003). Automatically verifying an object-oriented specification of the steam-boiler system, Science of Computer Programming, 46:3, (197-217), Online publication date: 1-Mar-2003.
- McDowell R, Miller D and Palamidessi C (2003). Encoding transition systems in sequent calculus, Theoretical Computer Science, 294:3, (411-437), Online publication date: 18-Feb-2003.
- Naumovich G (2002). Using the observer design pattern for implementation of data flow analyses, ACM SIGSOFT Software Engineering Notes, 28:1, (61-68), Online publication date: 17-Jan-2003.
- Déharbe D A tutorial introduction to symbolic model checking Logic for concurrency and synchronisation, (215-237)
- Fredriksson M, Gustavsson R and Ricci A Sustainable coordination Intelligent information agents, (203-233)
- Clarke E and Subrahmanyam P Hardware verification Encyclopedia of Computer Science, (777-780)
- Smith S and Talcott C (2002). Specification Diagrams for Actor Systems, Higher-Order and Symbolic Computation, 15:4, (301-348), Online publication date: 1-Dec-2002.
- Reussner R Counter-Constrained Finite State Machines Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics, (20-40)
- Naumovich G Using the observer design pattern for implementation of data flow analyses Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (61-68)
- Plasil F and Visnovsky S (2002). Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, 28:11, (1056-1076), Online publication date: 1-Nov-2002.
- Palamidessi C Mobile calculi for distributed programming Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, (74-75)
- Harel D and Kupferman O (2002). On Object Systems and Behavioral Inheritance, IEEE Transactions on Software Engineering, 28:9, (889-903), Online publication date: 1-Sep-2002.
- Gadducci F and Montanari U (2002). Comparing logics for rewriting, Theoretical Computer Science, 285:2, (319-358), Online publication date: 28-Aug-2002.
- Brookes S Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes Proceedings of the 13th International Conference on Concurrency Theory, (466-482)
- Bashkin V and Lomazova I (2002). Petri nets and resource bisimulation, Fundamenta Informaticae, 55:2, (101-114), Online publication date: 1-Aug-2002.
- Fisler K and Vardi M (2002). Bisimulation Minimization and Symbolic Model Checking, Formal Methods in System Design, 21:1, (39-78), Online publication date: 1-Jul-2002.
- Cao X, Cohen G, Giua A, Wonham W and van Schuppen J (2002). Unity in Diversity, Diversity in Unity, Discrete Event Dynamic Systems, 12:3, (253-264), Online publication date: 1-Jul-2002.
- Gastin P and Teodosiu D (2002). Resource traces, Theoretical Computer Science, 278:1-2, (195-221), Online publication date: 6-May-2002.
- Paillet J and Giambiasi N (2002). DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems, Journal of Intelligent and Robotic Systems, 34:1, (27-81), Online publication date: 1-May-2002.
- Hrischuk C and Woodside C (2002). Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System, IEEE Transactions on Software Engineering, 28:4, (321-339), Online publication date: 1-Apr-2002.
- Cortesi A, Dovier A, Quintarelli E and Tanca L (2002). Operational and abstract semantics of the query language G-Log, Theoretical Computer Science, 275:1-2, (521-560), Online publication date: 28-Mar-2002.
- Varpaaniemi K (2002). Minimizing the number of successor states in the stubborn set method, Fundamenta Informaticae, 51:1, (215-234), Online publication date: 15-Mar-2002.
- Harel D, Kupferman O and Vardi M (2002). On the complexity of verifying concurrent transition systems, Information and Computation, 173:2, (143-161), Online publication date: 15-Mar-2002.
- Hooman J and van de Pol J Formal verification of replication on a distributed data space architecture Proceedings of the 2002 ACM symposium on Applied computing, (351-358)
- Schmidt D Structure-preserving binary relations for program abstraction The essence of computation, (245-265)
- Lee J and Zic J (2002). On modeling real-time mobile processes, Australian Computer Science Communications, 24:1, (139-147), Online publication date: 1-Jan-2002.
- Lee J and Zic J On modeling real-time mobile processes Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4, (139-147)
- Varpaaniemi K (2002). Minimizing the Number of Successor States in the Stubborn Set Method, Fundamenta Informaticae, 51:1-2, (215-234), Online publication date: 1-Jan-2002.
- French T Decidability of Quantifed Propositional Branching Time Logics Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence, (165-176)
- Bergstra J and Ponse A (2001). Register-machine based processes, Journal of the ACM, 48:6, (1207-1241), Online publication date: 1-Nov-2001.
- Alur R, Dang T, Esposito J, Fierro R, Hur Y, Ivancic F, Kumar V, Lee I, Mishra P, Pappas G and Sokolsky O Hierarchical Hybrid Modeling of Embedded Systems Proceedings of the First International Workshop on Embedded Software, (14-31)
- Ying M and Wirsing M (2001). Recursive equations in higher-order process calculi, Theoretical Computer Science, 266:1-2, (839-852), Online publication date: 6-Sep-2001.
- Ruiz-Garcia J, Thévenod-Fosse P and Fabre J A Strategy for Testing MetaObject Protocols in Reflective Architectures Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS), (327-336)
- Jia G and Graf S Verification experiments on the MASCARA protocol Proceedings of the 8th international SPIN workshop on Model checking of software, (123-142)
- van Eck P, Engelfriet J, Fensel D, van Harmelen F, Venema Y and Willems M (2001). A Survey of Languages for Specifying Dynamics, IEEE Transactions on Knowledge and Data Engineering, 13:3, (462-496), Online publication date: 1-May-2001.
- Ruf J, Hoffmann D, Kropf T and Rosenstiel W Simulation-guided property checking based on a multi-valued AR-automata Proceedings of the conference on Design, automation and test in Europe, (742-748)
- Pucella R (2001). Review of proof, language, and interaction, ACM SIGACT News, 32:1, (12-16), Online publication date: 1-Mar-2001.
- Clarke E and Schlingloff B Model checking Handbook of automated reasoning, (1635-1790)
- Tripakis S and Yovine S (2001). Analysis of Timed Systems Using Time-Abstracting Bisimulations, Formal Methods in System Design, 18:1, (25-68), Online publication date: 1-Jan-2001.
- Chechik M and Wang H Bisimulation analysis of SDL-expressed protocols Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
- Canovas-Dumas C and Caspi P A PVS proof obligation generator for Lustre programs Proceedings of the 7th international conference on Logic for programming and automated reasoning, (179-188)
- Brockmeyer M, Jahanian F, Heitmeyer C and Winner E (2000). A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications, IEEE Transactions on Computers, 49:11, (1184-1201), Online publication date: 1-Nov-2000.
- Gapeyev V, Levin M and Pierce B (2000). Recursive subtyping revealed, ACM SIGPLAN Notices, 35:9, (221-231), Online publication date: 1-Sep-2000.
- Gapeyev V, Levin M and Pierce B Recursive subtyping revealed Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, (221-231)
- Divitini M and Simone C (2000). Supporting Different Dimensions of Adaptabilityin Workflow Modeling, Computer Supported Cooperative Work, 9:3-4, (365-397), Online publication date: 1-Aug-2000.
- Harel D and Kupferman O On the Behavioral Inheritance of State-Based Objects Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
- Bolognesi T (2000). Toward Constraint-Object-Oriented Development, IEEE Transactions on Software Engineering, 26:7, (594-616), Online publication date: 1-Jul-2000.
- Jeffrey A and Rathke J A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
- Magee J, Pryce N, Giannakopoulou D and Kramer J Graphical animation of behavior models Proceedings of the 22nd international conference on Software engineering, (499-508)
- Merrick I and Wood A Coordination with scopes Proceedings of the 2000 ACM symposium on Applied computing - Volume 1, (210-217)
- Alur R and Grosu R Modular refinement of hierarchic reactive machines Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (390-402)
- Agha G 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, (2-12)
- Penczek W, Szreter M, Gerth R and Kuiper R (2000). Improving Partial Order Reductions for Universal Branching Time Properties, Fundamenta Informaticae, 43:1-4, (245-267), Online publication date: 1-Jan-2000.
- Pitt D and Shields M (1999). Overtaking in Asynchronous Periodic Systems, Formal Aspects of Computing, 11:5, (567-590), Online publication date: 1-Dec-1999.
- Brandenburg J and Hartson H (1999). Timetrees, Human-Computer Interaction, 14:3, (245-282), Online publication date: 1-Sep-1999.
- Plasil F, Besta M and Visnovsky S Bounding Component Behavior via Protocols Proceedings of the Technology of Object-Oriented Languages and Systems
- Godefroid P and Long D (1999). Symbolic Protocol Verification with Queue BDDs, Formal Methods in System Design, 14:3, (257-271), Online publication date: 1-May-1999.
- Omicini A On the semantics of tuple-based coordination models Proceedings of the 1999 ACM symposium on Applied computing, (175-182)
- Tsai J, Liu A, Juan E and Sahay A (1999). Knowledge-Based Software Architectures, IEEE Transactions on Knowledge and Data Engineering, 11:1, (187-201), Online publication date: 1-Jan-1999.
- Juan E, Tsai J and Murata T (1998). Compositional verification of concurrent systems using Petri-net-based condensation rules, ACM Transactions on Programming Languages and Systems, 20:5, (917-979), Online publication date: 1-Sep-1998.
- Cortadella J, Kishinevsky M, Lavagno L and Yakovlev A (1998). Deriving Petri Nets from Finite Transition Systems, IEEE Transactions on Computers, 47:8, (859-882), Online publication date: 1-Aug-1998.
- Snoeck M and Dedene G (1998). Existence Dependency, IEEE Transactions on Software Engineering, 24:4, (233-251), Online publication date: 1-Apr-1998.
- Mermet B and Méry D Service specifications Proceedings of the second workshop on Formal methods in software practice, (62-69)
- Sowmya A and Ramesh S (1998). Extending Statecharts with Temporal Logic, IEEE Transactions on Software Engineering, 24:3, (216-231), Online publication date: 1-Mar-1998.
- Bernardeschi C, Fantechi A, Gnesi S, Larosa S, Mongardi G and Romano D (1998). A Formal Verification Environment for Railway Signaling System Design, Formal Methods in System Design, 12:2, (139-161), Online publication date: 1-Mar-1998.
- Pyttel A, Sedlmeier A and Veith C PSCP Proceedings of the conference on Design, automation and test in Europe, (370-376)
- Mermet B and Mery D Incremental Specification of Telecommunication Services Proceedings of the 1st International Conference on Formal Engineering Methods
- Corsini M and Rauzy A (1997). Toupie, Journal of Automated Reasoning, 19:2, (143-171), Online publication date: 1-Oct-1997.
- Chang C, Tseng Y and Buy U Compiling process algebraic specifications into timed automata Proceedings of the 21st International Computer Software and Applications Conference, (338-343)
- Ungureanu C and Goldberg B (1997). Formal models of distributed memory management, ACM SIGPLAN Notices, 32:8, (280-291), Online publication date: 1-Aug-1997.
- Ungureanu C and Goldberg B Formal models of distributed memory management Proceedings of the second ACM SIGPLAN international conference on Functional programming, (280-291)
- Glauert J Object graph rewriting Proceedings of the second international symposium on Parallel symbolic computation, (119-128)
- Sibertin-Blanc C Concurrency in CoOperative Objects Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
- Ashar P, Gupta A and Malik S Using complete-1-distinguishability for FSM equivalence checking Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design, (346-353)
- Naumovich G, Clarke L and Osterweil L (1996). Verification of communication protocols using data flow analysis, ACM SIGSOFT Software Engineering Notes, 21:6, (93-105), Online publication date: 1-Nov-1996.
- Naumovich G, Clarke L and Osterweil L Verification of communication protocols using data flow analysis Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, (93-105)
- Attali I, Caromel D, Ehmety S and Lippi S (1996). Semantic-based visualization for parallel object-oriented programming, ACM SIGPLAN Notices, 31:10, (421-440), Online publication date: 1-Oct-1996.
- Attali I, Caromel D, Ehmety S and Lippi S Semantic-based visualization for parallel object-oriented programming Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (421-440)
- Godefroid P and Long D Symbolic Protocol Verification with Queue BDDs Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
- Lakas A, Gordon G and Chetwynd A Specification and Verification of Real-Time Properties Using LOTOS and SQTL Proceedings of the 8th International Workshop on Software Specification and Design
- Carreras C, Lopez J, Lopez M, Sanchez L, Delgado-Kloos C and Martinez N A Co-Design Methodology Based on Formal Specification and High-level Estimation Proceedings of the 4th International Workshop on Hardware/Software Co-Design
- Jia G and Zheng G (1996). Fair transition system specification, ACM SIGPLAN Notices, 31:3, (14-21), Online publication date: 1-Mar-1996.
- Corbett J (1996). Evaluating Deadlock Detection Methods for Concurrent Software, IEEE Transactions on Software Engineering, 22:3, (161-180), Online publication date: 1-Mar-1996.
- Moffett J, Hall J, Coombes A and Mcdermid J (1996). A model for a causal logic for requirements engineering, Requirements Engineering, 1:1, (27-46), Online publication date: 1-Mar-1996.
- Honda K Composing processes Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (344-357)
- Breuer P and Madrid N A native process algebra for VHDL Proceedings of the conference on European design automation, (420-426)
- Valenzano A and Sisto R (1995). Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions, IEEE Transactions on Computers, 44:12, (1361-1370), Online publication date: 1-Dec-1995.
- Woodside C (1995). A Three-View Model for Performance Engineering of Concurrent Software, IEEE Transactions on Software Engineering, 21:9, (754-767), Online publication date: 1-Sep-1995.
- Leth L and Thomsen B (1995). Some facile chemistry, Formal Aspects of Computing, 7:3, (314-328), Online publication date: 1-May-1995.
- Dean T and Cordy J (1995). A Syntactic Theory of Software Architecture, IEEE Transactions on Software Engineering, 21:4, (302-313), Online publication date: 1-Apr-1995.
- Corno F, Cusinato M, Ferrero M and Prinetto P Proving testing preorders for process algebra descriptions Proceedings of the 1995 European conference on Design and Test
- Hesselink W (1995). Wait-free linearization with a mechanical proof, Distributed Computing, 9:1, (21-36), Online publication date: 1-Mar-1995.
- Bouajjani A, Echahed R and Habermehl P Verifying infinite state processes with sequential and parallel composition Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (95-106)
- Woodside C, Neilson J, Petriu D and Majumdar S (1995). The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software, IEEE Transactions on Computers, 44:1, (20-34), Online publication date: 1-Jan-1995.
- Fraser M, Kumar K and Vaishnavi V (1994). Strategies for incorporating formal specifications in software development, Communications of the ACM, 37:10, (74-86), Online publication date: 1-Oct-1994.
- Bochmann G and Petrenko A Protocol testing Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, (109-124)
- Bustard D and Winstanley A (1994). Making Changes to Formal Specifications, IEEE Transactions on Software Engineering, 20:8, (562-568), Online publication date: 1-Aug-1994.
- Kurshan R The complexity of verification Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing, (365-371)
- Gaudel M Formal specification techniques (extended abstract) Proceedings of the 16th international conference on Software engineering, (223-227)
- Ardis M Lessons from using basic LOTOS Proceedings of the 16th international conference on Software engineering, (5-14)
- Takaoka T Parallel program verification with directed graphs Proceedings of the 1994 ACM symposium on Applied computing, (462-466)
- de Bakker J and de Vink E (1994). Bisimulation Semantics For Concurrency With Atomicity And Action Refinement, Fundamenta Informaticae, 20:1,2,3, (3-34), Online publication date: 1-Apr-1994.
- Paterno F (1994). A formal approach to the evaluation of interactive systems, ACM SIGCHI Bulletin, 26:2, (69-73), Online publication date: 1-Apr-1994.
- Cleaveland R and Yankelevich D An operational framework for value-passing processes Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (326-338)
- Luo G, von Bochmann G and Petrenko A (1994). Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method, IEEE Transactions on Software Engineering, 20:2, (149-162), Online publication date: 1-Feb-1994.
- Lam S and Shankar A (1994). A Theory of Interfaces and Modules - I, IEEE Transactions on Software Engineering, 20:1, (55-71), Online publication date: 1-Jan-1994.
- 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.
- Boyd J and Karam G Using design fragments to modularize the design of communications in concurrent systems Proceedings of the 7th international workshop on Software specification and design, (184-193)
- Hennessy M and Ingólfsdóttir A (2022). Communicating processes with value-passing and assignments, Formal Aspects of Computing, 5:5, (432-466), Online publication date: 1-Sep-1993.
- Lin F A formalism for specifying communicating processes Proceedings of the 1993 ACM conference on Computer science, (123-130)
- Milner R (1993). Elements of interaction, Communications of the ACM, 36:1, (78-89), Online publication date: 1-Jan-1993.
- Cleaveland R and Hennessy M (2022). Testing equivalence as a bisimulation equivalence, Formal Aspects of Computing, 5:1, (1-20), Online publication date: 1-Jan-1993.
- Alilovic-Curgus J Analytic methods in coverage testing of communications software Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2, (301-312)
- Khendek F Extending distributed system specifications Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2, (293-299)
- Kontogiannis K Toward program representation and program understanding using process algebras Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1, (299-317)
- Llamosí A (1992). On Ada packages, types and task types, ACM SIGAda Ada Letters, XII:5, (47-58), Online publication date: 1-Oct-1992.
- Fernandez J, Garavel H, Mounier L, Rasse A, Rodriguez C and Sifakis J A toolbox for the verification of LOTOS programs Proceedings of the 14th international conference on Software engineering, (246-259)
- Fickas S and Helm B (1992). Knowledge Representation and Reasoning in the Design of Composite Systems, IEEE Transactions on Software Engineering, 18:6, (470-482), Online publication date: 1-Jun-1992.
- Yang S, Kavi K, Agarwalla A, Reddy M and Anam S SUVS: a distributed real-time system testbed for fault-tolerant computing Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, (782-791)
- Aceto L and Hennessy M (1992). Termination, deadlock, and divergence, Journal of the ACM, 39:1, (147-187), Online publication date: 2-Jan-1992.
- Cameron E and Lin Y (1991). A real-time transition model for analyzing behavioral compatibility of telecommunications services, ACM SIGSOFT Software Engineering Notes, 16:5, (101-111), Online publication date: 1-Nov-1991.
- Hirakawa Y and Takenaka T Telecommunication service description using state transition rules Proceedings of the 6th international workshop on Software specification and design, (140-147)
- Kurki-Suonio R, Systä K and Vain J Real-time specification and modeling with joint actions Proceedings of the 6th international workshop on Software specification and design, (84-91)
- Marchionini G and Sibert J (1991). An agenda for human-computer interaction: science and engineering serving human needs, ACM SIGCHI Bulletin, 23:4, (17-32), Online publication date: 1-Oct-1991.
- Yeh W and Young M Compositional reachability analysis using process algebra Proceedings of the symposium on Testing, analysis, and verification, (49-59)
- Hennessy M (1991). A proof system for communicating processes with value-passing, Formal Aspects of Computing, 3:4, (346-366), Online publication date: 1-Oct-1991.
- Cameron E and Lin Y A real-time transition model for analyzing behavioral compatibility of telecommunications services Proceedings of the conference on Software for citical systems, (101-111)
- Vogler W (1991). Failures semantics based on interval semiwords is a congruence for refinement, Distributed Computing, 4:3, (139-162), Online publication date: 1-Sep-1991.
- Kristol D, Lee D, Netravali A and Sabnani K (1991). Efficient gateway synthesis from formal specifications, ACM SIGCOMM Computer Communication Review, 21:4, (89-97), Online publication date: 1-Aug-1991.
- Kristol D, Lee D, Netravali A and Sabnani K Efficient gateway synthesis from formal specifications Proceedings of the conference on Communications architecture & protocols, (89-97)
- Gaifman H, Maher M and Shapiro E Replay, recovery, replication, and snapshots of nondeterministic concurrent programs Proceedings of the tenth annual ACM symposium on Principles of distributed computing, (241-255)
- Saiedian H and Unger E (1991). A formal specification tool for distributed office systems, ACM SIGSMALL/PC Notes, 17:2, (13-18), Online publication date: 1-Jun-1991.
- Gibbons P, Merritt M and Gharachorloo K Proving sequential consistency of high-performance shared memories (extended abstract) Proceedings of the third annual ACM symposium on Parallel algorithms and architectures, (292-303)
- Eberbach E CSA Proceedings of the 19th annual conference on Computer Science, (570-581)
- Jo C and George K Language concepts using dynamic and distributed objects Proceedings of the 19th annual conference on Computer Science, (211-220)
- Sidhu D, Chung A and Blumer T (1991). Experience with formal methods in protocol development, ACM SIGCOMM Computer Communication Review, 21:2, (81-101), Online publication date: 1-Apr-1991.
- 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.
- King P (1991). Formalization of Protocol Engineering Concepts, IEEE Transactions on Computers, 40:4, (387-403), Online publication date: 1-Apr-1991.
- Pratt V Modeling concurrency with geometry Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (311-322)
- Harper R and Pierce B A record calculus based on symmetric concatenation Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (131-142)
- Shapiro E Separating concurrent languages with categories of language embeddings Proceedings of the twenty-third annual ACM symposium on Theory of Computing, (198-208)
- Clément D (1990). A distributed architecture for programming environments, ACM SIGSOFT Software Engineering Notes, 15:6, (11-21), Online publication date: 1-Dec-1990.
- Clément D A distributed architecture for programming environments Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (11-21)
- Logrippo L, Melanchuk T and Du Wors R (1990). The algebraic specification language LOTOS: an industrial experience, ACM SIGSOFT Software Engineering Notes, 15:4, (59-66), Online publication date: 1-Sep-1990.
- De Man J (1990). Making languages more powerful by removing limitations, ACM SIGSOFT Software Engineering Notes, 15:4, (18-24), Online publication date: 1-Sep-1990.
- von Issendorff H (1990). A theory of organization, ACM SIGPLAN Notices, 25:9, (31-38), 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.
- Issendorff H (1990). A theory of organization, ACM SIGPLAN Notices, 25:8, (84-102), Online publication date: 1-Aug-1990.
- Josephson W and Armitage J Analysis tools for Ada concurrency designs Proceedings of the seventh Washington Ada symposium on Ada, (189-204)
- McCullough D (1990). A Hookup Theorem for Multilevel Security, IEEE Transactions on Software Engineering, 16:6, (563-568), Online publication date: 1-Jun-1990.
- Logrippo L, Melanchuk T and Du Wors R The algebraic specification language LOTOS: an industrial experience Conference proceedings on Formal methods in software development, (59-66)
- De Man J Making languages more powerful by removing limitations Conference proceedings on Formal methods in software development, (18-24)
- Liu L and Shyamasundar R (1990). Static Analysis of Real-Time Distributed Systems, IEEE Transactions on Software Engineering, 16:4, (373-388), Online publication date: 1-Apr-1990.
- Hseush W and Kaiser G (1990). Modeling concurrency in parallel debugging, ACM SIGPLAN Notices, 25:3, (11-20), Online publication date: 1-Mar-1990.
- Hseush W and Kaiser G Modeling concurrency in parallel debugging Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, (11-20)
- Dillon L (1990). Verifying General Safety Properties of Ada Tasking Programs, IEEE Transactions on Software Engineering, 16:1, (51-63), Online publication date: 1-Jan-1990.
- Khendek F, von Bochmann G and Kant C (1989). New results on deriving protocol specifications from service specifications, ACM SIGCOMM Computer Communication Review, 19:4, (136-145), Online publication date: 1-Aug-1989.
- Khendek F, von Bochmann G and Kant C New results on deriving protocol specifications from service specifications Symposium proceedings on Communications architectures & protocols, (136-145)
- Cherry G Covering the life cycle with Ada Proceedings of the sixth Washington Ada symposium on Ada, (221-263)
- Zwiers J and Roever W Predicates are predicate transformers: a unified compositional theory for concurrency Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, (265-279)
- Kurshan R and McMillan K A structural induction theorem for processes Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, (239-247)
- Kaplan S, Goering s and Campbell R (1989). Specifying concurrent systems with Δ-grammars, ACM SIGSOFT Software Engineering Notes, 14:3, (20-27), Online publication date: 1-May-1989.
- Kaplan S, Goering s and Campbell R Specifying concurrent systems with Δ-grammars Proceedings of the 5th international workshop on Software specification and design, (20-27)
- Nierstrasz O (1988). Two models of concurrent objects, ACM SIGPLAN Notices, 24:4, (174-176), Online publication date: 1-Apr-1989.
- Agha G (1988). Foundational issues in concurrent computing, ACM SIGPLAN Notices, 24:4, (60-65), Online publication date: 1-Apr-1989.
- Wing J and Nixon M (1989). Extending Ina Jo with Temporal Logic, IEEE Transactions on Software Engineering, 15:2, (181-197), Online publication date: 1-Feb-1989.
- Larsen K and Skou A Bisimulation through probabilistic testing (preliminary report) Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (344-352)
- Thomsen B A calculus of higher order communicating systems Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (143-154)
- Lamport L (1989). A simple approach to specifying concurrent systems, Communications of the ACM, 32:1, (32-45), Online publication date: 1-Jan-1989.
- Shibayama E (1988). How to invent distributed implementation schemes of an object-based concurrent language: a transformational approach, ACM SIGPLAN Notices, 23:11, (297-305), Online publication date: 1-Nov-1988.
- Lausen G (1988). Modeling and Analysis of the Behavior of Information Systems, IEEE Transactions on Software Engineering, 14:11, (1610-1620), Online publication date: 1-Nov-1988.
- De Francesco N and Vaglini G (1988). Description for a Tool Specifying and Prototyping Concurrent Programs, IEEE Transactions on Software Engineering, 14:11, (1554-1564), Online publication date: 1-Nov-1988.
- Nierstrasz O Two models of concurrent objects Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming, (174-176)
- Agha G Foundational issues in concurrent computing Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming, (60-65)
- Stavridou V, Barringer H and Edwards D Formal specification and verification of hardware Proceedings of the 25th ACM/IEEE Design Automation Conference, (197-204)
- Harel D (1988). On visual formalisms, Communications of the ACM, 31:5, (514-530), Online publication date: 1-May-1988.
- Orr R, Norris M, Tinker R and Rouch C Tools for real time system design Proceedings of the 10th international conference on Software engineering, (130-137)
- Fagerström J Design and test of distributed applications Proceedings of the 10th international conference on Software engineering, (88-92)
- Billington J, Wheeler G and Wilbur-Ham M (1988). PROTEAN, IEEE Transactions on Software Engineering, 14:3, (301-316), Online publication date: 1-Mar-1988.
- Aggarwal S, Barbaŕ D and Meth K (1988). A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency, IEEE Transactions on Software Engineering, 14:3, (280-290), Online publication date: 1-Mar-1988.
- Josephs M (1988). A state-based approach to communicating processes, Distributed Computing, 3:1, (9-18), Online publication date: 1-Mar-1988.
- Bloom B, Istrail S and Meyer A Bisimulation can't be traced Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (229-239)
- Giacalone A XY-WINS: an integraded environment for developing graphical user interfaces Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software, (129-143)
- Hogrefe D (1988). OSI service specification with CCITT-SDL, ACM SIGCOMM Computer Communication Review, 18:1-2, (63-90), Online publication date: 3-Jan-1988.
- Shibayama E How to invent distributed implementation schemes of an object-based concurrent language: a transformational approach Conference proceedings on Object-oriented programming systems, languages and applications, (297-305)
- Hesselink W (1988). A mathematical approach to nondeterminism in data types, ACM Transactions on Programming Languages and Systems, 10:1, (87-117), Online publication date: 1-Jan-1988.
- Ringwood G (1988). Parlog86 and the dining logicians, Communications of the ACM, 31:1, (10-25), Online publication date: 1-Jan-1988.
- Lombardo A Designing presentation service by Lotos Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, (483-489)
- Clarke E and Grumberg O Avoiding the state explosion problem in temporal logic model checking Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, (294-303)
- Lynch N and Tuttle M Hierarchical correctness proofs for distributed algorithms Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, (137-151)
- Hogg J and Weiser S (1987). OTM: Applying objects to tasks, ACM SIGPLAN Notices, 22:12, (388-393), Online publication date: 1-Dec-1987.
- Hogg J and Weiser S OTM: Applying objects to tasks Conference proceedings on Object-oriented programming systems, languages and applications, (388-393)
- Zic J (1987). Extensions to communicating sequential processes to allow protocol performance specification, ACM SIGCOMM Computer Communication Review, 17:5, (217-227), Online publication date: 1-Oct-1987.
- Stark E Concurrent transition system semantics of process networks Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (199-210)
- Widom J, Gries D and Schneider F Completeness and incompleteness of trace-based network proof systems Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (27-38)
- Astesiano E and Reggio G (1987). Direct semantics of concurrent languages in the SMoLCS approach, IBM Journal of Research and Development, 31:5, (512-534), Online publication date: 1-Sep-1987.
- Ashenhurst R (1987). ACM forum, Communications of the ACM, 30:9, (752-753), Online publication date: 1-Sep-1987.
- Steier R (1987). Authors, Communications of the ACM, 30:9, (749-ff.), Online publication date: 1-Sep-1987.
- Zic J Extensions to communicating sequential processes to allow protocol performance specification Proceedings of the ACM workshop on Frontiers in computer communications technology, (217-227)
- Browne M, Clarke E, Dill D and Mishra B (1986). Automatic Verification of Sequential Circuits Using Temporal Logic, IEEE Transactions on Computers, 35:12, (1035-1044), Online publication date: 1-Dec-1986.
- Clarke E, Grumberg O and Browne M Reasoning about networks with many identical finite-state processes Proceedings of the fifth annual ACM symposium on Principles of distributed computing, (240-248)
- Carchiolo V, Faro A, Mirabella O, Pappalardo G and Scollo G (1986). A LOTOS Specification of the PROWAY Highway Service, IEEE Transactions on Computers, 35:11, (949-968), Online publication date: 1-Nov-1986.
- Wegner P (1986). Classification in object-oriented systems, ACM SIGPLAN Notices, 21:10, (173-182), Online publication date: 1-Oct-1986.
- Liu N and Liu M Conformity analysis for communication protocols Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, (216-226)
- Briand J, Fehri M, Logrippo L and Obaid A Structure of a LOTOS interpreter Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, (167-175)
- von Bochmann G and Gotzhein R Deriving protocol specifications from service specifications Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, (148-156)
- Liu N and Liu M (1986). Conformity analysis for communication protocols, ACM SIGCOMM Computer Communication Review, 16:3, (216-226), Online publication date: 1-Aug-1986.
- Briand J, Fehri M, Logrippo L and Obaid A (1986). Structure of a LOTOS interpreter, ACM SIGCOMM Computer Communication Review, 16:3, (167-175), Online publication date: 1-Aug-1986.
- von Bochmann G and Gotzhein R (1986). Deriving protocol specifications from service specifications, ACM SIGCOMM Computer Communication Review, 16:3, (148-156), Online publication date: 1-Aug-1986.
- Wegner P Classification in object-oriented systems Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, (173-182)
- Barringer H, Kuiper R and Pnueli A A really abstract concurrent model and its temporal logic Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (173-183)
- de Bakker J, Meyer J, Olderog E and Zucker J Transition systems, infinitary languages and the semantics of uniform concurrency Proceedings of the seventeenth annual ACM symposium on Theory of computing, (252-262)
- Peleg D Concurrent dynamic logic Proceedings of the seventeenth annual ACM symposium on Theory of computing, (232-239)
- Roux O and Elloy J ELECTRE Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, (240-245)
- Anderson D and Landweber L A grammar-based methodology for protocol specification and implementation Proceedings of the ninth symposium on Data communications, (63-70)
- Anderson D and Landweber L (1985). A grammar-based methodology for protocol specification and implementation, ACM SIGCOMM Computer Communication Review, 15:4, (63-70), Online publication date: 1-Sep-1985.
- Kanellakis P and Smolka S On the analysis of cooperation and antagonism in networks of communicating processes Proceedings of the fourth annual ACM symposium on Principles of distributed computing, (23-38)
- Cardelli L and Pike R Squeak Proceedings of the 12th annual conference on Computer graphics and interactive techniques, (199-204)
- Cardelli L and Pike R (1985). Squeak, ACM SIGGRAPH Computer Graphics, 19:3, (199-204), Online publication date: 1-Jul-1985.
- Thorelli L (1985). A language for linking modules into systems, BIT, 25:2, (358-378), Online publication date: 1-Jun-1985.
- Strom R and Yemini S (1985). The NIL distributed systems programming language, ACM SIGPLAN Notices, 20:5, (36-44), Online publication date: 1-May-1985.
- Anantharaman T, Clarke E, Foster M and Mishra B Compiling path expressions into VLSI circuits Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (191-204)
- Lamport L What it means for a concurrent program to satisfy a specification Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (78-83)
- Degano P and Montanari U Liveness properties as convergence in metric spaces Proceedings of the sixteenth annual ACM symposium on Theory of computing, (31-38)
- Hennessy M Modelling fair processes Proceedings of the sixteenth annual ACM symposium on Theory of computing, (25-30)
- Turini F (1984). Magma2: a language oriented toward experiments in control, ACM Transactions on Programming Languages and Systems, 6:4, (468-486), Online publication date: 1-Oct-1984.
- Milne G A model for hardware description and verification Proceedings of the 21st Design Automation Conference, (251-257)
- Carchiolo V, Faro A and Scollo G A temporal ordering specification of some session services Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium, (107-114)
- Carchiolo V, Faro A and Scollo G (1984). A temporal ordering specification of some session services, ACM SIGCOMM Computer Communication Review, 14:2, (107-114), Online publication date: 1-Jun-1984.
- Giacalone A, Rinard M and Doeppner T (1984). IDEOSY, ACM SIGPLAN Notices, 19:5, (15-20), Online publication date: 1-May-1984.
- Giacalone A, Rinard M and Doeppner T (1984). IDEOSY, ACM SIGSOFT Software Engineering Notes, 9:3, (15-20), Online publication date: 1-May-1984.
- Giacalone A, Rinard M and Doeppner T IDEOSY Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (15-20)
- Shaw R, Hudson P and Davis N (1984). Introduction of a formal technique into a software development environment, ACM SIGSOFT Software Engineering Notes, 9:2, (54-79), Online publication date: 1-Apr-1984.
- Doeppner T and Glacalone A A formal description of the UNIX operating system Proceedings of the second annual ACM symposium on Principles of distributed computing, (241-253)
- Kanellakis P and Smolka S CCS expressions, finite state processes, and three problems of equivalence Proceedings of the second annual ACM symposium on Principles of distributed computing, (228-240)
- Guessarian I (1983). Survey on classes of interpretations and some of their applications, ACM SIGACT News, 15:3, (45-71), Online publication date: 1-Jul-1983.
- McFarland M and Parker A (1983). An Abstract Model of Behavior for Hardware Descriptions, IEEE Transactions on Computers, 32:7, (621-637), Online publication date: 1-Jul-1983.
- Pratt V 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, (1-9)
- Li W An operational semantics of multitasking and exception handling in Ada Proceedings of the AdaTEC Conference on Ada, (138-151)
- Pnueli A and DeRoever W Rendezvous with ADA Proceedings of the AdaTEC Conference on Ada, (129-137)
- Wegner P (1982). Reflections on capital-intensive software technology, ACM SIGSOFT Software Engineering Notes, 7:4, (24-33), Online publication date: 1-Oct-1982.
- Back R and Mannila H 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, (111-120)
- Milner R Four combinators for concurrency Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, (104-110)
- de Bakker J and Zucker J Denotational semantics of concurrency Proceedings of the fourteenth annual ACM symposium on Theory of computing, (153-158)
- Pratt V On the composition of processes Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (213-223)
- Burton F and Sleep M Executing functional programs on a virtual tree of processors Proceedings of the 1981 conference on Functional programming languages and computer architecture, (187-194)
- Lauer P (1981). Synchronization of concurrent processes without globality assumptions, ACM SIGPLAN Notices, 16:9, (66-80), Online publication date: 1-Sep-1981.
Recommendations
Expressing first-order π-calculus in higher-order calculus of communicating systems
In the study of process calculi, encoding between different calculi is an effective way to compare the expressive power of calculi and can shed light on the essence of where the difference lies. Thomsen and Sangiorgi have worked on the higher-order ...
Structured Specification of Communicating Systems
Specification methods for distributed systems is the underlying theme of this paper. A model of communicating processes with rendezvous interactions is assumed as a basis for the discussion. The possible interactions by a process, and the ...
Communicating TILCO: A Model for Real-Time System Specification
ICECCS '01: Proceedings of the Seventh International Conference on Engineering of Complex Computer SystemsAbstract: Formal techniques for the specification of real-time systems must be capable of describing a set of relationships expressing the temporal constraints among events and actions: properties of invariance, precedence, periodicity, liveness and ...