Searching for "Losing recognizability." – sorted by Relevance.
-
Expressiveness in Concurrency
- transitions via SOS (for Structural Operational Semantics, see [1]) rules without losing the recognizability
- Add To MetaCart

