Fork me on GitHub
Math for the people, by the people.

User login

weak bisimulation

Defines: 
silent step, weak simulation
Synonym: 
invisible step
Major Section: 
Reference
Type of Math Object: 
Definition
Parent: 

Mathematics Subject Classification

68Q85 no label found

Subscribe to Comments for "weak bisimulation"