Keyword

concurrent systems

Description: Concurrent systems are computational systems in which multiple processes or activities can progress simultaneously and interact, often analyzed using formal methods.

Primary topic: Formal Methods in Verification (33%)

OpenAlex ID: keywords/concurrent-systems

Petri nets: Properties, analysis and applications

1989 · T. Murata · Proceedings of the IEEE · 10,622

Principles of Model Checking

2008 · Christel Baier, Joost-Pieter Katoen · 4,811

A Calculus of Communicating Systems

1980 · Lecture notes in computer science · 4,664

The Temporal Logic of Reactive and Concurrent Systems

1992 · Zohar Manna, Amir Pnueli · Springer eBooks · 2,959

The temporal logic of actions

1994 · Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1,855

The Temporal Logic of Reactive and Concurrent Systems: Specification

1991 · Amir Pnueli, Zohar Manna · 1,355

Specification and verification of concurrent systems in CESAR

1982 · J. P. Queille, J. Sifakis · Lecture notes in computer science · 1,326

On visual formalisms

1988 · David Harel · Communications of the ACM · 1,284

PDF

Ant Colony Optimization

2011 · Ranjith Kumar A, Ranjith Kumar R · 1,225

Petri Nets

1977 · James L. Peterson · ACM Computing Surveys · 1,179

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

2007 · Kurt Jensen, Lars Michael Kristensen, et al. · International Journal on Software Tools for Technology Transfer · 1,146

Modeling and verification of time dependent systems using time Petri nets

1991 · B. Berthomieu, M. Diaz · IEEE Transactions on Software Engineering · 1,085

Principles of Model Checking (Representation and Mind Series)

2008 · Christel Baier, Joost-Pieter Katoen · The MIT Press eBooks · 1,022

Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects

2000 · Douglas C. Schmidt, Michael Stal, et al. · 996

Symbolic model checking: an approach to the state explosion problem

1992 · Kenneth L. McMillan · Defense Technical Information Center (DTIC) · 976

Algebraic theory of processes

1988 · Matthew Hennessy · Figshare · 857

On interprocess communication

1986 · Leslie Lamport · Distributed Computing · 852

Free Choice Petri Nets

1995 · Jorg Desel, Javier Esparza · Cambridge University Press eBooks · 796

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

2009 · Kurt Jensen, Lars Michael Kristensen · 790

Partial-Order Methods for the Verification of Concurrent Systems

1996 · Lecture notes in computer science · 643

Lectures on Petri Nets I: Basic Models

1998 · Reisig, Wolfgang, Rozenberg, Grzegorz · Lecture notes in computer science · 613

The state explosion problem

1998 · Antti Valmari · Lecture notes in computer science · 587

A stubborn attack on state explosion

1992 · Antti Valmari · Formal Methods in System Design · 574

VCC: A Practical System for Verifying Concurrent C

2009 · Ernie Cohen, Markus Dahlweid, et al. · Lecture notes in computer science · 547

Reactive Modules

1999 · Rajeev Alur, Thomas A. Henzinger · Formal Methods in System Design · 541

Works count: 6,102

Citation count: 103,800