Pages that link to "Item:Q1050111"

The following pages link to Calculi for synchrony and asynchrony (Q1050111):

Displaying 4 items.

• Algebra and logic for access control (Q968301) (← links)
• An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
• Algebra and logic for resource-based systems modelling (Q3643362) (← links)
• A final coalgebra theorem (Q5096269) (← links)