-
1
-
-
0034248380
-
Computing with membranes
-
See also Turku Center for Computer Science-TUCS Report No. 208, 1998
-
Gh. Pǎun, Computing with Membranes, J. Comput. Syst. Sci. 61(1): 108-143 (2000). (See also Turku Center for Computer Science-TUCS Report No. 208, 1998, www.tucs.fi).
-
(2000)
J. Comput. Syst. Sci.
, vol.61
, Issue.1
, pp. 108-143
-
-
Pǎun, Gh.1
-
2
-
-
0037174201
-
A guide to membrane computing
-
Gh. Pǎun, G. Rozenberg, A guide to membrane computing, Theoret. Comput. Sci. 287 (1): 73-100 (2002).
-
(2002)
Theoret. Comput. Sci.
, vol.287
, Issue.1
, pp. 73-100
-
-
Pǎun, G.1
Rozenberg, G.2
-
3
-
-
0013369183
-
Coloured petri nets. basic concepts, analysis methods and practical use
-
Springer-Verlag, 2nd corrected printing
-
K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, Volume 1, Springer-Verlag, 2nd corrected printing 1997.
-
(1997)
Basic Concepts. Monographs in Theoretical Computer Science
, vol.1
-
-
Jensen, K.1
-
4
-
-
0015195766
-
Hierarchical ordering of sequential processes
-
E.W. Dijkstra, Hierarchical Ordering of Sequential Processes, Acta Inf. 1: 115-138 (1971).
-
(1971)
Acta Inf.
, vol.1
, pp. 115-138
-
-
Dijkstra, E.W.1
-
5
-
-
84885193540
-
Defining an adaptable mobile transaction service
-
Springer, Berlin
-
P.S. -Alvarado, Defining an Adaptable Mobile Transaction Service, Lecture Notes in Computer Science, Vol. 2490, Springer, Berlin.
-
Lecture Notes in Computer Science
, vol.2490
-
-
Alvarado, P.S.1
-
6
-
-
0037401033
-
Mobile users in heterogeneous environments with middleware platform
-
N. Pissinoua, K. Makkia, B.K. -Ries, Mobile users in heterogeneous environments with middleware platform, Computer Communications 26: 700-707 (2003).
-
(2003)
Computer Communications
, vol.26
, pp. 700-707
-
-
Pissinoua, N.1
Makkia, K.2
Ries, B.K.3
-
7
-
-
0031245226
-
A mobile transaction model that captures both the data and movement behavior
-
M.H. Dunham, A. Helal, S. Balakrishnan, A Mobile Transaction Model That Captures Both the Data and Movement Behavior, MONET 2(2): 149-162 (1997).
-
(1997)
MONET
, vol.2
, Issue.2
, pp. 149-162
-
-
Dunham, M.H.1
Helal, A.2
Balakrishnan, S.3
-
9
-
-
84874714120
-
Orchestrating transactions in join calculus
-
Springer, Berlin
-
R. Bruni, C. Laneve, U. Montanari, Orchestrating Transactions in Join Calculus, Lecture Notes in Computer Science, Vol. 2421, Springer, Berlin.
-
Lecture Notes in Computer Science
, vol.2421
-
-
Bruni, R.1
Laneve, C.2
Montanari, U.3
-
10
-
-
24344460805
-
Transactions and zero-safe nets
-
Springer, Berlin
-
R. Bruni, U. Montanari, Transactions and Zero-Safe Nets, Lecture Notes in Computer Science, Vol. 1825, Springer, Berlin.
-
Lecture Notes in Computer Science
, vol.1825
-
-
Bruni, R.1
Montanari, U.2
-
11
-
-
35048881461
-
P Systems and Petri Nets
-
Springer, Berlin
-
Z. Qi, J. You, H. Mao, P Systems and Petri Nets, Lecture Notes in Computer Science, Vol. 2933, Springer, Berlin.
-
Lecture Notes in Computer Science
, vol.2933
-
-
Qi, Z.1
You, J.2
Mao, H.3
-
12
-
-
0029218664
-
Maintaining consistency of data in mobile distributed environments
-
E. Pitoura, B.K. Bhargava, Maintaining Consistency of Data in Mobile Distributed Environments, ICDCS 1995: 404-413.
-
ICDCS 1995
, pp. 404-413
-
-
Pitoura, E.1
Bhargava, B.K.2
-
13
-
-
4644273668
-
Higher-order chemistry
-
Tarragona, Spain
-
J.-P. Banatre, P. Fradet, Y. Radenac, Higher-order chemistry, Proceeding of Workshop on Membrane Computing 2003 , Tarragona, Spain.
-
Proceeding of Workshop on Membrane Computing 2003
-
-
Banatre, J.-P.1
Fradet, P.2
Radenac, Y.3
-
14
-
-
0012188258
-
Computing with membranes: Variants with an enhanced membrane handling
-
M. Margenstern, C. Martín-Vide, Gh. Pǎun, Computing with Membranes: Variants with an Enhanced Membrane Handling, DNA 2001: 340-349.
-
DNA 2001
, pp. 340-349
-
-
Margenstern, M.1
Martín-Vide, C.2
Pǎun, G.3
|