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

Research output: Contribution to journal › Article › peer-review

Cite this

@article{6c38110158534a32b866626142cd037d,

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

author = "Christian Bessiere and Eugene Freuder and JC Rkgin",

year = "1998",

language = "English (Ireland)",

volume = "106",

pages = "359--361",

journal = "Artificial Intelligence",

issn = "0004-3702",

publisher = "Elsevier B.V.",

}