• Uppaal

  • Referenced in 658 articles [sw04702]
  • areas include real-time controllers and communication protocols in particular, those where timing aspects...
  • Kronos

  • Referenced in 274 articles [sw01270]
  • time deadlines. Embedded controllers, circuits and communication protocols are examples of such time-dependent systems...
  • CADP

  • Referenced in 133 articles [sw04993]
  • popular toolbox for the design of communication protocols and distributed systems. CADP is developed...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • Communication protocols for mathematical services based on KQML and OMRS We describe the first ideas ... formalizing a communication protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language ... that the interaction level of a communication protocol for mathematical services can be relatively generic ... OPENMATH standard, and gives a semantics to communication of mathematical services in distributed theorem proving...
  • GloMoSim

  • Referenced in 60 articles [sw13764]
  • extensible and composable: the communication protocol stack for wireless networks is divided into...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • areas include real-time controllers and communication protocols in particular, those where timing aspects...
  • Gandalf

  • Referenced in 35 articles [sw10133]
  • such as digital circuits, software and communications protocols. A new application area for ATP systems...
  • PMaude

  • Referenced in 31 articles [sw08422]
  • event simulation. Because distributed and concurrent communication protocols can be modelled using actors (concurrent objects...
  • Scribble

  • Referenced in 17 articles [sw20863]
  • language to describe application-level protocols among communicating systems. A protocol represents an agreement ... protocol, it is hard to do meaningful interaction: participants simply cannot communicate effectively, since they ... data. However, having a description of a protocol has further benefits. It enables verification...
  • Pict

  • Referenced in 73 articles [sw08929]
  • basic data structures, protocols for returning results, higher-order programming, selective communication, and concurrent objects...
  • NModel

  • Referenced in 12 articles [sw11364]
  • based testing has been applied to communication protocols, web applications, embedded control systems, and graphical...
  • MUI

  • Referenced in 12 articles [sw18209]
  • MPMD support and an asynchronous communication protocol to handle inter-solver information exchange irrespective...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • illustrate by an example, the alternating bit protocol, the use of CESAR, an interactive system ... algorithmic description of a system of communicating sequential processes with respect to a given...
  • FairplayMP

  • Referenced in 15 articles [sw11926]
  • Micali-Rogaway (BMR) protocol which runs in a constant number of communication rounds (eight rounds ... this protocol since we believe that the number of communication rounds is a major factor...
  • Chord

  • Referenced in 212 articles [sw09434]
  • This paper presents Chord, a distributed lookup protocol that addresses this problem. Chord provides support ... experiments show that Chord is scalable, with communication cost and the state maintained by each...
  • Java CoG Kit

  • Referenced in 36 articles [sw21563]
  • Globus Toolkit protocols, allowing the Java CoG Kit to also communicate with the services distributed...
  • Ligero

  • Referenced in 17 articles [sw28502]
  • simple zero-knowledge argument protocol for NP whose communication complexity is proportional to the square...
  • SEISCOPE

  • Referenced in 6 articles [sw19396]
  • minimization itself, thanks to the reverse communication protocol. This enhances flexibility in code development...
  • opaal

  • Referenced in 6 articles [sw13332]
  • domains such as database programs, lossy communication protocols and cache analysis...
  • Wendy

  • Referenced in 6 articles [sw01246]
  • correctness of a service, its communication protocol needs to be analyzed. A fundamental correctness criterion...