Concurrency State Models and Java Programs
By William F. Gilreath. Parallel Distributed Comput. Pract., 2000
367 citations recorded by the source corpus.
Subfields: Computer Networks and Communications, Hardware and Architecture
View Paper: https://www.semanticscholar.org/paper/85c4bf484a385e359aa284bbeefb13f1c00f8ee5
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computer Networks and Communications
- J. Magee
- J. Kramer
- Radu Mateescu
- David Garlan
- Howard Foster
- Sebastián Uchitel
- Hubert Garavel
- Bradley R. Schmerl
In Hardware and Architecture
- J. Magee
- Radu Mateescu
- David Garlan
- J. Kramer
- Howard Foster
- Sebastián Uchitel
- Hubert Garavel
- Bradley R. Schmerl
Citations in the corpus
- Model-based adaptation for self-healing systems (2002, methodology): “These are defined in a process algebra, FSP [15], and then used by “protocol gauges” at run time to detect when communicating components fail to respect the specified protocols.”
- Model-based verification of Web service compositions (2003, methodology): “This tool, which is fully explained in [10], provides us with an opportunity to model workflows prior to implementation and deployment testing, and with the message sequence chart extensions [11] to easily model workflow scenarios, which can increase the expectation that web service workflow…”
- Is abstraction the key to computing? (2007, background): “My personal experience teaching model building and analysis as part of a course on concurrency [8] has been very encouraging.”
- CADP 2011: a toolbox for the construction and analysis of distributed processes (2012, positive): “Fsp (Finite State Process) is a concise algebraic notation for concurrent processes [90], supported by the Ltsa (Labelled Transition System Analyser)8 verification tool designed at Imperial College (London, United Kingdom).”