The following pages link to S. N. Baranov (Q1901128):
Displaying 4 items.
- The MINISAC system for symbolic computation (Q1901129) (← links)
- Conditionally reversible computations and weak universality in category theory (Q2256643) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)