DBLP Record 'journals/fac/StolenDW96'

BibTeX

@article{DBLP:journals/fac/StolenDW96,
  author    = {Ketil St{\o}len and
               Frank Dederichs and
               Rainer Weber},
  title     = {Specification and Refinement of Networks of Asynchronously
               Communicating Agents Using the Assumption/Commitment Paradigm},
  journal   = {Formal Asp. Comput.},
  volume    = {8},
  number    = {2},
  year      = {1996},
  pages     = {127-161},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}