The following pages link to Maciej Gazda (Q1706140):
Displaying 15 items.
- Distinguishing between communicating transactions (Q1706141) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Removing redundant refusals: minimal complete test suites for failure trace semantics (Q2687991) (← links)
- On Parity Game Preorders and the Logic of Matching Plays (Q2794366) (← links)
- Modal logic and the approximation induction principle (Q2883116) (← links)
- Consistent Consequence for Boolean Equation Systems (Q2891375) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)
- (Q4963898) (← links)
- (Q4986259) (← links)
- (Q4992503) (← links)
- (Q5013885) (← links)
- (Q5028468) (← links)
- (Q5146596) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
