Skip to main navigation Skip to search Skip to main content

XJ Chen and G. De Giacomo, Reasoning about nondeterministic and concurrent actions: a process algebra approach

  • Christian Bessiere
  • , Eugene Freuder
  • , JC Rkgin
  • Université de Montpellier
  • Université de Montpellier

Research output: Contribution to journalArticlepeer-review

Original languageEnglish (Ireland)
Pages (from-to)359-361
Number of pages3
JournalArtificial Intelligence
Volume106
Publication statusPublished - 1998

Cite this