LfP : A Specification Language for Rapid Prototyping of Concurrent Systems

Dan Marius Regep, Fabrice Kordon. LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. In 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA. pages 90-96, IEEE Computer Society, 2001. [doi]

@inproceedings{RegepK01,
  title = {LfP : A Specification Language for Rapid Prototyping of Concurrent Systems},
  author = {Dan Marius Regep and Fabrice Kordon},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/rsp/2001/1206/00/12060090abs.htm},
  researchr = {https://researchr.org/publication/RegepK01},
  cites = {0},
  citedby = {0},
  pages = {90-96},
  booktitle = {12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1206-2},
}