Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Journal of the ACM (JACM)
Proving systolic systems correct
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Reasoning about networks with many identical finite-state processes
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
A LOTOS Specification of the PROWAY Highway Service
IEEE Transactions on Computers
Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Structure of a LOTOS interpreter
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Conformity analysis for communication protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Transition systems, infinitary languages and the semantics of uniform concurrency
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
Specification and implementation of an ISO session layer
IBM Systems Journal
Parlog86 and the dining logicians
Communications of the ACM
Direct semantics of concurrent languages in the SMoLCS approach
IBM Journal of Research and Development
IBM Journal of Research and Development
OTM: Applying objects to tasks
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Completeness and incompleteness of trace-based network proof systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Concurrent transition system semantics of process networks
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Avoiding the state explosion problem in temporal logic model checking
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Designing presentation service by Lotos
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
OSI service specification with CCITT-SDL
ACM SIGCOMM Computer Communication Review
Delay-Independent Design for Distributed Systems
IEEE Transactions on Software Engineering
Description for a Tool Specifying and Prototyping Concurrent Programs
IEEE Transactions on Software Engineering
Modeling and Analysis of the Behavior of Information Systems
IEEE Transactions on Software Engineering
Extensions to communicating sequential processes to allow protocol performance specification
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Design and test of distributed applications
ICSE '88 Proceedings of the 10th international conference on Software engineering
Tools for real time system design
ICSE '88 Proceedings of the 10th international conference on Software engineering
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
XY-WINS: an integraded environment for developing graphical user interfaces
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
The relation between problems in large-scale concurrent systems and distributed databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
A simple approach to specifying concurrent systems
Communications of the ACM
ECCS and LIPS: two languages for OSI systems specification and verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundational issues in concurrent computing
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Two models of concurrent objects
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
A structural induction theorem for processes
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Predicates are predicate transformers: a unified compositional theory for concurrency
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A calculus of higher order communicating systems
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulation through probabilistic testing (preliminary report)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
Static Analysis of Real-Time Distributed Systems
IEEE Transactions on Software Engineering
Verifying General Safety Properties of Ada Tasking Programs
IEEE Transactions on Software Engineering
A Hookup Theorem for Multilevel Security
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
A Relational Notation for State Transition Systems
IEEE Transactions on Software Engineering
Visual programming: perspectives and approaches
IBM Systems Journal
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Update The Derivation of Conformance Tests From LOTOS Specifications
IEEE Transactions on Software Engineering
On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering
A distributed architecture for programming environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A record calculus based on symmetric concatenation
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling concurrency with geometry
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making languages more powerful by removing limitations
Conference proceedings on Formal methods in software development
The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
ACM SIGPLAN Notices
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Proving sequential consistency of high-performance shared memories (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
The L.0 Language and Environment for Protocol Simulation and Prototyping
IEEE Transactions on Computers - Special issue on protocol engineering
A fully abstract semantics for a first-order functional language with logic variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient gateway synthesis from formal specifications
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Compositional reachability analysis using process algebra
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A formal specification tool for distributed office systems
ACM SIGSMALL/PC Notes
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
A real-time transition model for analyzing behavioral compatibility of telecommunications services
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
SUVS: a distributed real-time system testbed for fault-tolerant computing
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
On Ada packages, types and task types
ACM SIGAda Ada Letters
A toolbox for the verification of LOTOS programs
ICSE '92 Proceedings of the 14th international conference on Software engineering
Reasoning about systems with many processes
Journal of the ACM (JACM)
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Elements of interaction: Turing award lecture
Communications of the ACM
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
A polynomial algorithm for gateway generation from formal specifications
IEEE/ACM Transactions on Networking (TON)
A formalism for specifying communicating processes
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Decidability of bisimulation equivalence for process generating context-free languages
Journal of the ACM (JACM)
On the power of bounded concurrency I: finite automata
Journal of the ACM (JACM)
On the power of bounded concurrency II: pushdown automata
Journal of the ACM (JACM)
Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
An operational framework for value-passing processes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Strategies for incorporating formal specifications in software development
Communications of the ACM
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Time-constrained buffer specifications in CSP + T and timed CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal approach to the evaluation of interactive systems
ACM SIGCHI Bulletin
Verifying infinite state processes with sequential and parallel composition
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Computers
A Syntactic Theory of Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
A native process algebra for VHDL
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Fair transition system specification: an integrated approach
ACM SIGPLAN Notices
The meaning of negative premises in transition system specifications
Journal of the ACM (JACM)
Semantic-based visualization for parallel object-oriented programming
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Using complete-1-distinguishability for FSM equivalence checking
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal models of distributed memory management
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Verifying parameterized networks
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object graph rewriting: an experimental parallel implementation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Formal specification and verification of hardware: a comparative case study
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
A Formal Verification Environment for Railway Signaling System Design
Formal Methods in System Design - Special issue: industrial critical systems
A denotational semantics for a process-based simulation language
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
Service specifications: to B, or not to B
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Visual programming: perspectives and approaches
IBM Systems Journal
Communications of the ACM
Communications of the ACM
Symbolic Protocol Verification with Queue BDDs
Formal Methods in System Design
What it means for a concurrent program to satisfy a specification: why no one has specified priority
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compiling path expressions into VLSI circuits
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A grammar-based methodology for protocol specification and implementation
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
ELECTRE: A language using control structure expressions to specify synchronization
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
On the analysis of cooperation and antagonism in networks of communicating processes
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Classification in object-oriented systems
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Modular refinement of hierarchic reactive machines
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Covering the life cycle with Ada: Ada all the way
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Parallel program verification with directed graphs
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Analysis tools for Ada concurrency designs
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
CSA: two paradigms of the language for adaptive expert systems
CSC '91 Proceedings of the 19th annual conference on Computer Science
Semantics study and reality of computing
ACM Computing Surveys (CSUR)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Graphical animation of behavior models
Proceedings of the 22nd international conference on Software engineering
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Supporting Different Dimensions of Adaptabilityin Workflow Modeling
Computer Supported Cooperative Work
Recursive subtyping revealed: (functional pearl)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Simulation-guided property checking based on a multi-valued AR-automata
Proceedings of the conference on Design, automation and test in Europe
PSCP: a scalable parallel ASIP architecture for reactive systems
Proceedings of the conference on Design, automation and test in Europe
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Abstractions for mobile computations
Secure Internet programming
Verification experiments on the MASCARA protocol
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Using complete-1-distinguishability for FSM equivalence checking
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Recursive equations in higher-order process calculi
Theoretical Computer Science
Register-machine based processes
Journal of the ACM (JACM)
Formal verification of replication on a distributed data space architecture
Proceedings of the 2002 ACM symposium on Applied computing
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On modeling real-time mobile processes
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
On the complexity of verifying concurrent transition systems
Information and Computation
Formal methods for distributed processing
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Resource traces: a domain for processes sharing exclusive resources
Theoretical Computer Science
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Bisimulation indexes and their applications
Theoretical Computer Science
Additive models of probabilistic processes
Theoretical Computer Science
Operational and abstract semantics of the query language G-Log
Theoretical Computer Science
Noninterference for concurrent programs and thread systems
Theoretical Computer Science
Mobile calculi for distributed programming
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
On the composition of processes
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
An empirical evaluation of deadlock detection in software architecture specifications
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A comparative study of formal verification techniques for software architecture specifications
Annals of Software Engineering
Discrete Event Dynamic Systems
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems
Journal of Intelligent and Robotic Systems
Bisimulation Minimization and Symbolic Model Checking
Formal Methods in System Design
Minimizing the number of successor states in the stubborn set method
Fundamenta Informaticae
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
SEDOS: Designing Open Distributed Systems
IEEE Software
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions
IEEE Transactions on Computers
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems
IEEE Transactions on Software Engineering
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
A Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Fundamenta Informaticae
A structural encoding technique for the synthesis of asynchronous circuits
Fundamenta Informaticae - Application of concurrency to system design
Review of the π-calculus: a theory of mobile processes
ACM SIGACT News
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
Automatically verifying an object-oriented specification of the steam-boiler system
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Temporal concurrent constraint programming: denotation, logic and applications
Nordic Journal of Computing
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
On Models for Time-Sensitive Interactive Computing
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography)
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Concurrency and Data Types: A Specification Method: An Example with LOTOS
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Compiling process algebraic specifications into timed automata
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Decidability of Quantifed Propositional Branching Time Logics
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Specifying Processes with Dynamic Life Cycles
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Using a Formal Framework for Agent System Design
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Bisimulation Minimization in an Automata-Theoretic Verification Framework
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Mathematical Models of Computer Security
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
Simulation as Coarsest Partition Problem
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Hereditary History Preserving Bisimilarity Is Undecidable
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
``Next'' Heuristic for On-the-Fly Model Checking
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Generic Process Algebras for Asynchronous Communication
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Lazy Compositional Verification
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Bisimulation and Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Hierarchical Hybrid Modeling of Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Directions in Functional Programming for Real(-Time) Applications
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Synchronous Modelling of Asynchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Embedded Systems: Challenges in Specification and Verification
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Norm Functions for Probabilistic Bisimulations with Delays
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
The Demonic Product of Probabilistic Relations
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Process-Algebraic Foundations of Aspect-Oriented Programming
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Compositional Refinement for Hierarchical Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
A Temporal Agent Communication Language for Dynamic Multi-agent Systems
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Open Ended Systems, Dynamic Bisimulation and Tile Logic
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
On the Power of Interactive Computing
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Verifying Erlang Code: A Resource Locker Case-Study
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
A Strategy for Testing MetaObject Protocols in Reflective Architectures
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Model-Checking Based Data Retrieval
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay
Theoretical Computer Science - Category theory and computer science
Encoding transition systems in sequent calculus
Theoretical Computer Science - Linear logic
Algebraic and coalgebraic methods in the mathematics of program construction
Information processing and technology
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
State space reduction based on live variables analysis
Science of Computer Programming - Special issue on static analysis (SAS'99)
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the computational complexity of bisimulation, redux
PCK50 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
Handbook of automated reasoning
Journal of Systems and Software
Bisimulation analysis of SDL-expressed protocols: a case study
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Hierarchical gate-level verification of speed-independent circuits
ASYNC '95 Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies
Proving testing preorders for process algebra descriptions
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Symbolic Protocol Verification with Queue BDDs
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A Co-Design Methodology Based on Formal Specification and High-level Estimation
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
A framework for conformance testing of systems communicating through rendezvous
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
A model for hardware description and verification
DAC '84 Proceedings of the 21st Design Automation Conference
A temporal ordering specification of some session services
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Denotational semantics of concurrency
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Four combinators for concurrency
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A refinement of Kahn's semantics to handle non-determinism and communication (Extended Abstract)
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
CCS expressions, finite state processes, and three problems of equivalence
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A formal description of the UNIX operating system
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Executing functional programs on a virtual tree of processors
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
IDEOSY: An Ideographic and Interactive Program Description System
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Liveness properties as convergence in metric spaces
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Concurrency in CoOperative Objects
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
An Algorithm for Direct Synthesis of Formal Specifications
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Bounding Component Behavior via Protocols
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Retrieving information from data flow diagrams
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Experiences with specification and verification in LOTOS: a report on two case studies
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Incremental Specification of Telecommunication Services
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Structure-preserving binary relations for program abstraction
The essence of computation
A semantic theory for value-passing processes based on the late approach
Information and Computation
Petri nets and resource bisimulation
Fundamenta Informaticae - Concurrency specification and programming
Undecidability of domino games and hhp-bisimilarity
Information and Computation
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
A tutorial introduction to symbolic model checking
Logic for concurrency and synchronisation
Using design fragments to modularize the design of communications in concurrent systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Telecommunication service description using state transition rules
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Using Simulation for the Validation of High Level Specifications of Control Systems
Journal of Intelligent and Robotic Systems
Synchronization of concurrent processes without globality assumptions
ACM SIGPLAN Notices
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Toward program representation and program understanding using process algebras
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Extending distributed system specifications
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Analytic methods in coverage testing of communications software
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Theoretical Computer Science
Arbitration-free synchronization
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Branching time and orthogonal bisimulation equivalence
Theoretical Computer Science
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case
Programming and Computing Software
Elementary structures in process theory (1): Sets with renaming
Mathematical Structures in Computer Science
Observational trees as models for concurrency
Mathematical Structures in Computer Science
A filter model for mobile processes
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Journal of Functional Programming
De Bakker-Zucker processes revisited
Information and Computation
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
Modular refinement of hierarchic reactive machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Security check: a formal yet practical framework for secure software architecture
Proceedings of the 2003 workshop on New security paradigms
The NIL distributed systems programming language: a status report
ACM SIGPLAN Notices
Automatic generation of equivalent architecture model from functional specification
Proceedings of the 41st annual Design Automation Conference
Reflections on capital-intensive software technology
ACM SIGSOFT Software Engineering Notes
Static Analysis for State-Space Reductions Preserving Temporal Logics
Formal Methods in System Design
Introduction of a formal technique into a software development environment: early observations
ACM SIGSOFT Software Engineering Notes
Theoretical Computer Science - Logic, semantics and theory of programming
Imperative program optimization by partial evaluation
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
On deriving equivalent architecture model from system specification
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Verification of safety properties for concurrent assembly code
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Strong normalisation in the π-calculus
Information and Computation
Towards a theory of bisimulation for the higher-order process calculi
Journal of Computer Science and Technology
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Events as atomic contracts for component integration
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Building functional patterns for implementing distributed applications
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
Generating FSMs from interworkings
Distributed Computing
Metrics for finite Markov decision processes
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
A bisimulation for type abstraction and recursion
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A theory of bisimulation for a fragment of concurrent ML with local names
Theoretical Computer Science
On the computational complexity of bisimulation, redux
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Business-to-business workflow interoperation based on process-views
Decision Support Systems
A coinductive calculus of streams
Mathematical Structures in Computer Science
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Algebraic and functional specification of an interactive serializable database interface
Distributed Computing - Special issue: Specification of concurrent systems
A hierarchy of failures-based models: theory and application
Theoretical Computer Science - Expressiveness in concurrency
Logical verification and equational verification
ACM SIGACT News
Enhancing component specification by behavior description: the SOFA experience
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
Encyclopedia of Computer Science
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Communication Benchmarking and Performance Modelling of MPI Programs on Cluster Computers
The Journal of Supercomputing
A brief history of process algebra
Theoretical Computer Science - Process algebra
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science - Process algebra
Modular verification of concurrent assembly code with dynamic thread creation and termination
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
Comparative branching-time semantics for Markov chains
Information and Computation
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A formalism for functionality preserving system level transformations
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
The compression structure of a process
Information Processing Letters
Modular hierarchies of models for embedded systems
Formal methods and models for system design
Compositionality of Hennessy-Milner logic by structural operational semantics
Theoretical Computer Science - Foundations of computation theory (FCT 2003)
Polarized process algebra with reactive composition
Theoretical Computer Science - Formal methods for components and objects
A tutorial on coinductive stream calculus and signal flow graphs
Theoretical Computer Science - Formal methods for components and objects
Pure bigraphs: structure and dynamics
Information and Computation
Anonymity and information hiding in multiagent systems
Journal of Computer Security
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Automatic rate desynchronization of embedded reactive programs
ACM Transactions on Embedded Computing Systems (TECS)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Approximating and computing behavioural distances in probabilistic transition systems
Theoretical Computer Science
Verification of system level model transformations
International Journal of Parallel Programming
Transition systems, link graphs and Petri nets
Mathematical Structures in Computer Science
Theoretical Computer Science
Measuring the confinement of probabilistic systems
Theoretical Computer Science - Theoretical foundations of security analysis and design II
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Information and Computation
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Protocol Composition Logic (PCL)
Electronic Notes in Theoretical Computer Science (ENTCS)
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Observational Equivalences for Timed Stable Event Structures
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
A regular viewpoint on processes and algebra
Acta Cybernetica
Generating the syntactic and semantics graphs for a Markovian process algebra
Journal of Computational and Applied Mathematics
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Adaptability of classification schemes in cooperation: what does it mean?
ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
Active Evaluation Contexts for Reaction Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis and verification of an automatic document feeder
Proceedings of the 2007 ACM symposium on Applied computing
Answering XML queries by means of data summaries
ACM Transactions on Information Systems (TOIS)
Expressing Service and Query Behavior Using \pi-Calculus for Matchmaking
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Guarded models for intrusion detection
Proceedings of the 2007 workshop on Programming languages and analysis for security
What is a free name in a process algebra?
Information Processing Letters
Q-Automata: Modelling the Resource Usage of Concurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent Logic and Automata Combined: A Semantics for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Turing award lectures
A bisimulation for type abstraction and recursion
Journal of the ACM (JACM)
AO4BPEL: An Aspect-oriented Extension to BPEL
World Wide Web
A uniform type structure for secure information flow
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Relating Hybrid Chi to Other Formalisms
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization of test experiments
Programming and Computing Software
An Abstract Model of Behavior for Hardware Descriptions
IEEE Transactions on Computers
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A theoretical framework for multiple neural network systems
Neurocomputing
A formal semantics for Gaia liveness rules and expressions
International Journal of Agent-Oriented Software Engineering
Generalizing the Paige--Tarjan algorithm by abstract interpretation
Information and Computation
Code mobility modeling: a temporal labeled reconfigurable nets
Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
A framework for performance evaluation and functional verification in stochastic process algebras
Proceedings of the 2008 ACM symposium on Applied computing
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Electronic Notes in Theoretical Computer Science (ENTCS)
Controllable Delay-Insensitive Processes
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Incremental verification methodology for DEVS models
ISPRA'05 Proceedings of the 4th WSEAS International Conference on Signal Processing, Robotics and Automation
Workflow management for enterprise transformation
Information-Knowledge-Systems Management - Work, Workflow, Information Systems and Enterprise Transformation
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Decidability of Weak Bisimilarity for a Subset of BPA
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory for comparing the expressive power of access control models
Journal of Computer Security
Algebraic Structure of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Functional Descriptions
Electronic Notes in Theoretical Computer Science (ENTCS)
Process Algebra with Local Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving an interactive visualization of transition systems
Proceedings of the 4th ACM symposium on Software visualization
Idempotent Transductions for Modal Logics
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Composition of Motion Description Languages
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Modeling and Model Checking Software Product Lines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
A Complete Axiomatic System for a Process-Based Spatial Logic
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Spatial and Behavioral Types in the Pi-Calculus
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
A Rule Format for Associativity
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Deriving Structural Labelled Transitions for Mobile Ambients
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Robust safety of timed automata
Formal Methods in System Design
A finite equational base for CCS with left merge and communication merge
ACM Transactions on Computational Logic (TOCL)
Timetrees: a branching-time structure for modeling activity and state in human-computer interaction
Human-Computer Interaction
Model Based Importance Analysis for Minimal Cut Sets
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Branching Bisimulation Congruence for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying model-checking to solve queries on semistructured data
Computer Languages, Systems and Structures
Opis: reliable distributed systems in OCaml
Proceedings of the 4th international workshop on Types in language design and implementation
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
A Rice-style theorem for parallel automata
Information and Computation
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Refinement and verification in component-based model-driven design
Science of Computer Programming
Challenges in the Specification of Full Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Abstractions, composition and reasoning
Proceedings of the 13th workshop on Aspect-oriented modeling
Preface: Special issue on structural operational semantics
Information and Computation
An Algebraic Framework for Defining Random Concurrent Behaviours
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Data & Knowledge Engineering
A Look Around the Corner: The Pi-Calculus
Transactions on Petri Nets and Other Models of Concurrency II
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Abstract Processes in Orchestration Languages
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
GridSPiM: A Framework for Simple Locality and Containment in the Stochastic π-Calculus
BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositionality for Markov reward chains with fast and silent transitions
Performance Evaluation
Bisimulation Minimisation of Weighted Automata on Unranked Trees
Fundamenta Informaticae
Software composition with Linda
Computer Languages, Systems and Structures
Composition semantics for executable and evolvable behavioral modeling in MDA
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Stochastic Process Algebra Based Software Process Simulation Modeling
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Decidable Fragments of a Higher Order Calculus with Locations
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05
Formal specification of system functions
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Modeling and Verification of Reactive Software Using LOTOS
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
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
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Making the Unobservable, Unobservable
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Generation of Adaptation Contracts
Electronic Notes in Theoretical Computer Science (ENTCS)
A Type System for Usage of Software Components
Types for Proofs and Programs
Assume-Guarantee Verification of Concurrent Systems
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Distinguing Non-deterministic Timed Finite State Machines
FMOODS '09/FORTE '09 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
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Structural Operational Semantics with First-Order Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Metrics for finite Markov decision processes
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Using coverage to automate and improve test purpose based testing
Information and Software Technology
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Weighted Bisimulation in Linear Algebraic Form
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
Discrete Semantics for Hybrid Automata
Discrete Event Dynamic Systems
Computer Standards & Interfaces
Equivalence relations in fully and partially observable Markov decision processes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A formal analysis of database replication protocols with SI replicas and crash failures
The Journal of Supercomputing
Complete open-state testing of limitedly nondeterministic systems
Programming and Computing Software
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Component Simulation-based Substitutivity Managing QoS Aspects
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing Response Inconsistencies in Test Suites
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
A Verification System for Distributed Objects with Asynchronous Method Calls
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Relationally Staged Computations in Calculi of Mobile Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Time-awareness and Proactivity in Models of Interactive Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of Timed Systems Using Cones and Foci
Electronic Notes in Theoretical Computer Science (ENTCS)
Map Theory: From Well-Foundation to Antifoundation
Electronic Notes in Theoretical Computer Science (ENTCS)
Weak Bisimulation for Action-Type Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Security Policies as Membranes in Systems for Global Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Modeling Of Middleware-based Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of Real-Time Systems with CTL Model Checkers
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Web Applications by the Multiple Levels of Integrity Policy
Electronic Notes in Theoretical Computer Science (ENTCS)
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
Comparative branching-time semantics for Markov chains
Information and Computation
Pure bigraphs: Structure and dynamics
Information and Computation
The compression structure of a process
Information Processing Letters
Circal: A calculus for circuit description
Integration, the VLSI Journal
Relating layered queueing networks and process algebra models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
An expressiveness study of priority in process calculi
Mathematical Structures in Computer Science
A process algebra to formalize the Lyee methodology
Knowledge-Based Systems
Implementing Lyee-Calculus in Java
Knowledge-Based Systems
Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
Formal system of interactions on biomedical ontology
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Default interactions for multi-agent simulations of complex organizations
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Transfer Learning for Reinforcement Learning Domains: A Survey
The Journal of Machine Learning Research
A testing scenario for probabilistic automata
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Architectural design of component-based agents: a behavior-based approach
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Formalising the π-calculus using nominal logic
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Composing specifications of event based applications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Towards a theory of refinement in timed coordination languages
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Improving the reuse possibilities of the behavioral aspects of object-oriented domain models
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A layered software specification architecture
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A PVS proof obligation generator for Lustre programs
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Bisimulation minimisation for weighted tree automata
DLT'07 Proceedings of the 11th international conference on Developments in language theory
Capturing conflict and confusion in CSP
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Observing distributed computation: a dynamic-epistemic approach
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Modeling high assurance agent-based Earthquake Management System using formal techniques
The Journal of Supercomputing
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
PRISMA: a mobile calculus with parametric synchronization
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Deciding weak bisimilarity of normed context-free processes using tableau
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Using constraints and process algebra for specification of first-class agent interaction protocols
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Operational and epistemic approaches to protocol analysis: bridging the gap
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
An incremental bisimulation algorithm
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Model checking for action abstraction
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
More on weak bisimilarity of normed basic parallel processes
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Highly dynamic adaptation in process management systems through execution monitoring
BPM'07 Proceedings of the 5th international conference on Business process management
From "formal methods" to system modeling
Formal methods and hybrid real-time systems
Harnessing rCOS for tool support: the CoCoME experience
Formal methods and hybrid real-time systems
Services as a paradigm of computation
Formal methods and hybrid real-time systems
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
Intelligent information agents
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
Fuzzy relation equations and reduction of fuzzy automata
Journal of Computer and System Sciences
Adequacy for infinitary algebraic effects
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Relating coalgebraic notions of bisimulation: with applications to name-passing process calculi
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Unifying behavioral equivalences of timed transition systems
Programming and Computing Software
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Families of Symmetries as Efficient Models of Resource Binding
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving structural labelled transitions for mobile ambients
Information and Computation
Robin Milner's Work on Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
A pure labeled transition semantics for the applied pi calculus
Information Sciences: an International Journal
Formalising policies of a mLearning system using CCA
Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems
Synthesis of distinguishing test cases for timed finite state machines
Programming and Computing Software
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
Symmetries, local names and dynamic (de)-allocation of names
Information and Computation
Representing abstract architectures with axiomatic specifications and activation conditions
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Concurrent and reactive constraint programming
A 25-year perspective on logic programming
Linking algebraic observational equivalence and bisimulation
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Programming coordinated behavior in java
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Simulation and bisimulation for probabilistic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Process algebras for collective dynamics
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
On the compositionality of round abstraction
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Some notes on the history of protocol engineering
Computer Networks: The International Journal of Computer and Telecommunications Networking
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Unifying theories of interrupts
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Property-preserving refinement of concurrent systems
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Web services choreography validation
Service Oriented Computing and Applications
Probabilistic Logical Characterization
Information and Computation
A separation logic for refining concurrent objects
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Composing systems while preserving probabilities
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
ECDAR: an environment for compositional design and analysis of real time systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Error handling: from theory to practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Automating cut-off for multi-parameterized systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Modelling flash devices with FDR: progress and limits
Proceedings of the 8th International Conference on Frontiers of Information Technology
Proceedings of the 8th International Conference on Frontiers of Information Technology
Model independent order relations for processes
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems
Information and Computation
Simulations of weighted tree automata
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Traces for coalgebraic components
Mathematical Structures in Computer Science
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Failure analysis for composition of web services represented as labeled transition systems
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Communications of the ACM
Analysis of deadlocks in object groups
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
A semantic model for many-core parallel computing
COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications
Osteoporosis: a multiscale modeling viewpoint
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Reachability for finite-state process algebras using static analysis
RP'11 Proceedings of the 5th international conference on Reachability problems
Bisimulations for fuzzy automata
Fuzzy Sets and Systems
Cedalion: a language for language oriented programming
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
A unifying theory of control dependence and its application to arbitrary program structures
Theoretical Computer Science
Events, neural systems and time series
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
A proposal for transactions in the semantic web
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Formal modeling
Asynchronous communication in MSVL
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Verification techniques for distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Two-thirds simulation indexes and modal logic characterization
Frontiers of Computer Science in China
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Safety and liveness in concurrent pointer programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Possibilistic information flow control in MAKS and action refinement
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Automatic rectangular refinement of affine hybrid systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
FECT: a modelling framework for automatically composing web services
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
A reasoning method for timed CSP based on constraint solving
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Mapping RT-LOTOS specifications into time petri nets
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A language for modeling network availability
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Grid services adaptation in a grid workflow
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Timing analysis of distributed end-to-end task graphs with model-checking
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
A description method of ontology change management using pi-calculus
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
On-the-Fly branching bisimulation minimization for compositional analysis
CIAA'06 Proceedings of the 11th international conference on Implementation and Application of Automata
Multiple representations of biological processes
Transactions on Computational Systems Biology VI
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
Formal approaches to location management in mobile communications
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Adding conflict and confusion to CSP
FM'05 Proceedings of the 2005 international conference on Formal Methods
Bisimulation quantified logics: undecidability
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
SDL versus c equivalence checking
SDL'05 Proceedings of the 12th international conference on Model Driven
From conditional specifications to interaction charts
Formal Methods in Software and Systems Modeling
Embeddings and contexts for link graphs
Formal Methods in Software and Systems Modeling
On the relationships between notions of simulation-based security
TCC'05 Proceedings of the Second international conference on Theory of Cryptography
Java JR: fully abstract trace semantics for a core java language
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Preserving contexts for soft conformance relation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Summarizing XML data by means of association rules
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Structural similarity in graphs
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Similarity of generalized resources in petri nets
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Enforcing distributed information flow policies architecturally: the SAID approach
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Complete axioms for stateless connectors
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Translating orc features into petri nets and the join calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
A formal account of contracts for web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
On finite alphabets and infinite bases III: simulation
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Finding shortest witnesses to the nonemptiness of automata on infinite words
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Sigref: a symbolic bisimulation tool box
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Model theory for process algebra
Processes, Terms and Cycles
Measuring the speed of information leakage in mobile processes
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A test calculus framework applied to network security policies
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Refactoring and metrics for TTCN-3 test suites
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
On the expressive power of primitives for compensation handling
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Producing enactable protocols in artificial agent societies
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Retracing the semantics of CSP
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Configurable process models as a basis for reference modeling
BPM'05 Proceedings of the Third international conference on Business Process Management
Indirect interaction in environments for multi-agent systems
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Verification of medical guidelines by model checking – a case study
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Value-passing CCS with noisy channels
Theoretical Computer Science
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Rigorous system design: the BIP approach
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
An introduction to pervasive interface automata
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Formal analysis of privacy for anonymous location based services
TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications
Model-checking secure information flow for multi-threaded programs
TOSCA'11 Proceedings of the 2011 international conference on Theory of Security and Applications
Factorization for component-interaction automata
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
A generic framework for n-protocol compatibility checking
Science of Computer Programming
On using syntactic action refinement to derive compositionally a timed efficient implementation
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A unified theory of program logics: an approach based on the π-calculus
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
A model for dynamic state-based systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Integrating process modelling and soft systems analysis
Methods'96 Proceedings of the 1996 international conference on Methods Integration
On the automatic verification of non-standard measures of consistency
IWFM'03 Proceedings of the 6th international conference on Formal Methods
Efficient verification of evolving software product lines
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software
Argos: an automaton-based synchronous language
Computer Languages
Probabilistic CSP: preserving the laws via restricted schedulers
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Conformance testing to real-time communications systems
Computer Communications
More on bisimulations for higher order π-calculus
Theoretical Computer Science
Design and Implementation of Portable and Efficient Non-blocking Collective Communication
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Motivation modelling for human-service interaction
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Finding common ground: choose, assert, and assume
Proceedings of the 2012 Workshop on Dynamic Analysis
Bisimulation Metrics for Continuous Markov Decision Processes
SIAM Journal on Computing
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Decidability of modular logics for concurrency
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Scenario modeling and verification for business processes
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Failure-divergence semantics and refinement of long running transactions
Theoretical Computer Science
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Algebraic synchronization trees and processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Bisimulation Minimisation of Weighted Automata on Unranked Trees
Fundamenta Informaticae
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Reasoning about multi-process systems with the box calculus
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
A modal logic for abstract delta modeling
Proceedings of the 16th International Software Product Line Conference - Volume 2
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An Algebraic Framework for Defining Random Concurrent Behaviours
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Controllable Delay-Insensitive Processes
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Constraints for service contracts
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
On correlation sets and correlation exceptions in ActiveBPEL
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Modelling probabilistic wireless networks
FMOODS'12/FORTE'12 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
Non-interference on UML state-charts
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
The laws of programming unify process calculi
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Observational Equivalences for Timed Stable Event Structures
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
On a Connection Between Cooperating Distributed Grammar Systems and Basic Process Algebra
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Computation of the greatest simulations and bisimulations between fuzzy automata
Fuzzy Sets and Systems
Logical Analysis of Biological Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
Fundamenta Informaticae
Petri nets and resource bisimulation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
A structural encoding technique for the synthesis of asynchronous circuits
Fundamenta Informaticae - Application of Concurrency to System Design
Fundamenta Informaticae
Minimizing the Number of Successor States in the Stubborn Set Method
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Fundamenta Informaticae
Improving Partial Order Reductions for Universal Branching Time Properties
Fundamenta Informaticae
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
Semantics Of Timed Concurrent Systems
Fundamenta Informaticae
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae
The Topos of Labelled Trees: A Categorical Semantics for SCCS
Fundamenta Informaticae
Fundamenta Informaticae
PROCESSES WITH MULTIPLE ENTRIES AND EXITS MODULO ISOMORPHISM AND MODULO BISIMULATION
Fundamenta Informaticae
Network Conscious π-calculus: A Concurrent Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebra Of Dataflow Networks
Fundamenta Informaticae
Journal of Network and Computer Applications
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement
Fundamenta Informaticae
Exploiting model equivalences for solving interactive dynamic influence diagrams
Journal of Artificial Intelligence Research
Testing nondeterministic finite state machines with respect to the separability relation
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Equivalence checking for infinite systems using parameterized Boolean equation systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
The must preorder revisited: an algebraic theory for web services contracts
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Nested protocols in session types
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Isotactics as a foundation for alignment and abstraction of behavioral models
BPM'12 Proceedings of the 10th international conference on Business Process Management
Rigorous component-based system design
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Weak bisimulations for coalgebras over ordered functors
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Modular bisimulation theory for computations and values
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Interpreted systems semantics for process algebra with identity annotations
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
The duality of state and observation in probabilistic transition systems
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
P: safe asynchronous event-driven programming
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
Testing probabilistic equivalence through Reinforcement Learning
Information and Computation
Dataflow constructs for a language extension based on the algebra of communicating processes
Proceedings of the 4th Workshop on Scala
Using motivation and choreography to model distributed workflow
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
A verification environment for bigraphs
Innovations in Systems and Software Engineering
Efficient computation of program equivalence for confluent concurrent constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Design and formal verification of a CEM protocol with transparent TTP
Frontiers of Computer Science: Selected Publications from Chinese Universities
Reversible delay-insensitive distributed memory modules
RC'13 Proceedings of the 5th international conference on Reversible Computation
A formal framework for software product lines
Information and Software Technology
Automating theorem proving with SMT
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
COCO: consistency analysis of process-driven internetware applications
Proceedings of the 5th Asia-Pacific Symposium on Internetware
High-performance fractal coherence
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Synchronous programming in audio processing: A lookup table oscillator case study
ACM Computing Surveys (CSUR)
Generic models of the laws of programming
Theories of Programming and Formal Methods
Model of distributed computing system operation with time
Programming and Computing Software
Formal development of wireless sensor-actor networks
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Nondeterministic automata: Equivalence, bisimulations, and uniform relations
Information Sciences: an International Journal
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Knowledge-enabled decision making for robotic system utilizing ambient service components
Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing
On Conditions for Modular Verification in Systems of Synchronising Components
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Proving Theorems by Program Transformation
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Equations for Asynchronous Message Passing
Fundamenta Informaticae - Concurrency, Specification and Programming
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
Adding coinduction into discrete mathematics
Journal of Computing Sciences in Colleges
Hi-index | 0.16 |