Sciweavers

APN
1995
Springer

Causal Behaviours and Nets

14 years 3 months ago
Causal Behaviours and Nets
Speci cationformalismsinwhichcausalityandindependenceofactionscanbeexplicitlyexpressedarebene cialfromadesignpointofview.Theexplicitpresence(orabsence)ofacausaldependencybetweenactionscanbeusede ectivelyduringthedesign.Weconsideraspeci cationformal-isminwhichcausalrelationsbetweenactionsplayacentralroleandprovideasemanticsintermsof(anextensionof)labelledplace/transitionnets.Thebehaviourofnetsisde nedbylabelledpartiallyorderedsets.
Joost-Pieter Katoen
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 1995
Where APN
Authors Joost-Pieter Katoen
Comments (0)