Results 261 to 270 of about 5,530,700 (284)
Some of the next articles are maybe not open access.
A counterexample to Thiagarajan's conjecture on regular event structures
Journal of Computer and System Sciences, 2020Victor Chepoi, Jérémie Chalopin
exaly
Towards a categorical representation of reversible event structures
Journal of Logical and Algebraic Methods in Programming, 2019Iain Phillips, Nobuko Yoshida
exaly
Reduction of event structures under history preserving bisimulation
Journal of Logical and Algebraic Methods in Programming, 2016Luciano García-Bañuelos +2 more
exaly
Typed event structures and the linear -calculus
Theoretical Computer Science, 2010Nobuko Yoshida, Daniele Varacca
exaly
Transition systems from event structures revisited
Information Processing Letters, 1998Markus Roggenbach +1 more
exaly
Bundle event structures: A revised cpo approach
Information Processing Letters, 2002Mila Majster-Cederbaum
exaly
Rule-based and object-based event structures for membrane systems
The Journal of Logic and Algebraic Programming, 2010Gabriel Ciobanu, Oana Agrigoroaiei
exaly
Contracts as games on event structures
Journal of Logical and Algebraic Methods in Programming, 2016Tiziana Cimoli +2 more
exaly