A true concurrency semantics for LOTOS

  • Authors:

  • Rosvelter João Coelho da Costa;Jean-Pierre Courtiat

  • Affiliations:

  • -;-

  • Venue:
  • FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
  • Year:
  • 1992

Quantified Score

Hi-index 0.00

Visualization

Abstract