Nebenäufigkeit bedeutet, daß beide Ereignisse keine gemeinsamen Vorbedingungen oder Nachbedingungen besitzen.Die Nebenläufigkeit gewährleistet ein hohes Maß an kausaler Unabhängigkeit. (Quelle: Schneider: Lexikon Informatik)
Dann bedeutet das Eintreten eines Ereignisses e, daß die Menge der Vorbedingungen -e durch die Menge der Nachbedingungen e- substituiert wird, d.h., die Bedingungen in -e hören auf zu gelten, während die Bedingungen in e- zu gelten beginnen. (Quelle: Schneider: Lexikon Informatik)