TEMPORAL PREDICATE TRANSITION NETS - A NEW FORMALISM FOR SPECIFYING AND VERIFYING CONCURRENT SYSTEMS Article

HE, XD. (1992). TEMPORAL PREDICATE TRANSITION NETS - A NEW FORMALISM FOR SPECIFYING AND VERIFYING CONCURRENT SYSTEMS . INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 45(3-4), 171-184. 10.1080/00207169208804127

cited authors

  • HE, XD

authors

publication date

  • January 1, 1992

published in

keywords

  • LIVENESS PROPERTIES
  • LOGIC
  • Mathematics
  • Mathematics, Applied
  • PETRI NETS
  • PREDICATE TRANSITION NETS
  • PROGRAMS
  • Physical Sciences
  • SPECIFICATION
  • Science & Technology
  • TEMPORAL LOGIC
  • TEMPORAL PREDICATE TRANSITION NETS
  • VERIFICATION

Digital Object Identifier (DOI)

publisher

  • GORDON BREACH SCI PUBL LTD

start page

  • 171

end page

  • 184

volume

  • 45

issue

  • 3-4