Trading systems are software platforms that support the exchange of
secu...
Recently introduced Petri net-based formalisms advocate the importance o...
Modern higher education takes advantage of MOOC technology. Modeling an
...
This paper presents a compositional conformance checking approach betwee...