Searching for authors named "Gabriel Ciobanu" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
A Specification Language for Coordinated Objects
- …A Specification Language for Coordinated Objects Gabriel Ciobanu Romanian Academy Institute…
- Cited by 2 (0 self) – Add To MetaCart
-
Communicating Concurrent Objects in HiddenCCS
- …WRLA 2004 Preliminary Version Communicating Concurrent Objects in HiddenCCS Gabriel Ciobanu Dorel…
- Cited by 1 (0 self) – Add To MetaCart
-
Barbed Bisimulations for Timed Distributed ss-calculus
- … Barbed Bisimulations for Timed Distributed ss-calculus Gabriel Ciobanu and Cristian Prisacariu…
- Add To MetaCart
-
Rewriting Logic Specification of Membrane Systems with
- …, Institute of Computer Science Blvd. Carol I no.8, 700505 Ia¸si, Romania Gabriel Ciobanu 3 “A…
- Add To MetaCart
-
Expressing Control Mechanisms in P systems by Rewriting Strategies
- …Expressing Control Mechanisms in P systems by Rewriting Strategies ⋆ Oana Andrei 1 , Gabriel…
- Cited by 2 (2 self) – Add To MetaCart
-
Membrane Systems and Distributed Computing
- …Membrane Systems and Distributed Computing Gabriel Ciobanu ⋆ , Rahul Desai, and Akash Kumar…
- Cited by 4 (1 self) – Add To MetaCart
-
Topological Spaces of the Web Gabriel Ciobanu
- …Topological Spaces of the Web Gabriel Ciobanu Romanian Academy Institute of Computer Science Ias…
- Add To MetaCart
-
Towards the Modeling of Cell Communication and
- …* Sungchul Ji 1 and Gabriel Ciobanu 2 1 Department of Pharmacology and Toxicology, Rutgers University…
- Add To MetaCart
-
Specification and Verification of Synchronizing
- …Specification and Verification of Synchronizing Concurrent Objects Gabriel Ciobanu and Dorel…
- Add To MetaCart
-
Relating π-calculus to Object-Z
- …@(email omitted); Gabriel Ciobanu Romanian Academy, Inst. Computer Science, Ias¸i, Romania gabriel@(email omitted); Abstract…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
