Searching for authors named "Rafal Somla" – sorted by Relevance.
-
Temporal Logic Of Processes
- TEMPORAL LOGIC OF PROCESSES RAFA/L SOMLA Abstract. In many so called interactive applications we
- Add To MetaCart
-
Parallel Model Checking for LTL, CTL*, and L²μ
- Rafa#l Somla 2 IT Department Uppsala University Uppsala, Sweden Michael Weber 3 Lehrstuhl fur
- Add To MetaCart
-
Finite Completeness of Categories of Petri Nets
- .bednarczyk,a.borzyszkowski}@(email omitted); Rafa#l Somla Institute of Mathematics, Gdansk University Wita Stwosza 57, 80-952 Gdansk, Poland email
- Cited by 3 (2 self) – Add To MetaCart
-
Equalizing Morphisms of Petri Nets
- , and Rafal/ Somla 2 1 Institute of Computer Science, Gda#sk Branch, Polish Acad. of Sc. Abrahama 18, 81
- Cited by 1 (1 self) – Add To MetaCart

