issues
search
Event-Structures
/
event-struct
Mechanized Theory of Event Structures
MIT License
16
stars
1
forks
source link
Simplify Hierarchy of Event Structures
#142
Closed
eupp
closed
3 years ago
eupp
commented
3 years ago
Remove elementary event structures
Elem.EventStruct
, instead inherit
PrimeC
from
DwFinPOrder
Remove
PrimeG
event structures, define
gcf
and
cf
on
PrimeC
event structures.
Add
gcf
and
cf
morhpism lemmas.
Inherit
Prime
from
PrimeC
, prove
bgcfP
and
bgcfE
lemmas to express general conflict through binary conflict.
Elem.EventStruct, instead inheritPrimeCfromDwFinPOrderPrimeGevent structures, definegcfandcfonPrimeCevent structures.gcfandcfmorhpism lemmas.PrimefromPrimeC, provebgcfPandbgcfElemmas to express general conflict through binary conflict.