Searching for authors named "Slawomir Lasota" – sorted by Relevance.
-
A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes
- Sl/awomir Lasota ? Institute of Informatics, Warsaw University, Poland sl@(email omitted); Abstract. A
- Cited by 5 (1 self) – Add To MetaCart
-
Finitary Observations in Regular Algebras
- Finitary Observations in Regular Algebras S lawomir Lasota ? Institute of Informatics, Warsaw
- Cited by 1 (1 self) – Add To MetaCart
-
Behavioural Constructor Implementation for Regular Algebras
- Behavioural Constructor Implementation for Regular Algebras S lawomir Lasota ? Institute
- Cited by 1 (1 self) – Add To MetaCart
-
On Coincidence of Distributed and Performance Equivalence for Basic Parallel Processes
- ://www.fnp.org.pl/english/eng.htm. 2 Sl/awomir Lasota a BPP process definition if each right-hand side is a BPP process expression
- Cited by 2 (1 self) – Add To MetaCart
-
Open Maps as a Bridge Between Algebraic Observational Equivalence and Bisimilarity
- Open maps as a bridge between algebraic observational equivalence and bisimilarity S/lawomir
- Cited by 3 (3 self) – Add To MetaCart
-
On the Semantics of Multistage Interconnection Networks
- On the Semantics of Multistage Interconnection Networks ? Anna Gambin ?? and S/lawomir Lasota
- Cited by 1 (0 self) – Add To MetaCart
-
Alternating timed automata
- Alternating Timed Automata ? Slawomir Lasota1?? and Igor Walukiewicz2 1 Institute
- Cited by 12 (1 self) – Add To MetaCart
-
Logical Relations for Monadic Types
- Relations for Monadic Types ? Jean Goubault-Larrecq 1 , Slawomir Lasota 1;2 , and David Nowak 1 1 LSV
- Cited by 17 (8 self) – Add To MetaCart
-
Logical Relations for Monadic Types
- Logical Relations for Monadic Types ? Jean Goubault-Larrecq 1 , Slawomir Lasota 1
- Add To MetaCart
-
genome of Medicago truncatula
- of Medicago truncatula Dariusz Grzebelus* 1 , Slawomir Lasota2 , Tomasz Gambin3 , Gregory Kucherov4 and Anna
- Add To MetaCart

