Verification of finite-state machines: A distributed approach

Article Properties
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
Title Journal Journal Categories Citations Publication Date
A spatial logic for concurrency (part I) 2003
Relating distributed, temporal and causal observations of simple processes 1992
Concurrent bisimulations in Petri nets Acta Informatica
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1991
Distributed bisimulations

 Journal of the ACM
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 19 1989
Behavior structures and nets 1988
Citations
Title Journal Journal Categories Citations Publication Date
Team bisimilarity, and its associated modal logic, for BPP nets Acta Informatica
  • Technology: Technology (General): Industrial engineering. Management engineering: Information technology
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication
  • Science: Science (General): Cybernetics: Information theory
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2 2020
Team equivalences for finite-state machines with silent moves Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2020
Very‐short‐term multi‐energy management system for a district heating plant enabling ancillary service provision IET Energy Systems Integration
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Production of electric energy or power. Powerplants. Central stations
  • Social Sciences: Industries. Land use. Labor: Special industries and trades: Energy industries. Energy policy. Fuel trade
  • Social Sciences: Industries. Land use. Labor: Special industries and trades: Energy industries. Energy policy. Fuel trade
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
 3 2020
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods1
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software1
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware1
Technology: Technology (General): Industrial engineering. Management engineering: Information technology1
Technology: Electrical engineering. Electronics. Nuclear engineering: Telecommunication1
Science: Science (General): Cybernetics: Information theory1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 2 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Team equivalences for finite-state machines with silent moves and was published in 2020. The most recent citation comes from a 2020 study titled Team equivalences for finite-state machines with silent moves. This article reached its peak citation in 2020, with 3 citations. It has been cited in 3 different journals. Among related journals, the Information and Computation cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year