Introduce deactivation - Githubissues

anatoliykmetyuk / free-acp

A rewriting-based process algebra engine

7 stars 3 forks source link

Closed anatoliykmetyuk closed 7 years ago

anatoliykmetyuk commented 7 years ago

Choices that are discarded should be notified about it somehow in order to terminate gracefully.

anatoliykmetyuk commented 7 years ago

Related to #17.