-
1
-
-
0034248380
-
Computing with membranes
-
See also Turku Center for Computer Science-TUCS Report No. 208, 1998, www.tucs.fi
-
Gh. Pǎun, Computing with membranes, J. Comput. System Sci. 61(1): 108-143 (2000). (See also Turku Center for Computer Science-TUCS Report No. 208, 1998, www.tucs.fi).
-
(2000)
J. Comput. System Sci.
, vol.61
, Issue.1
, pp. 108-143
-
-
Pǎun, G.1
-
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 Informatica 1: 115-138 (1971).
-
(1971)
Acta Informatica
, 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, ACM-Baltzer Journal on Mobile Networks and Applications (MONET), 2(2): 149-161 (1997).
-
(1997)
ACM-Baltzer Journal on Mobile Networks and Applications (MONET)
, vol.2
, Issue.2
, pp. 149-161
-
-
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
-
Vancouver, Canada, May 30-June 2
-
E. Pitoura, B. Bhargava, Maintaining Consistency of Data in Mobile distributed Environments, Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, Canada, May 30-June 2, 1995.
-
(1995)
Proceedings of the 15th International Conference on Distributed Computing Systems
-
-
Pitoura, E.1
Bhargava, B.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.
-
(2003)
Proceeding of Workshop on Membrane Computing
-
-
Banatre, J.-P.1
Fradet, P.2
Radenac, Y.3
-
14
-
-
0005383302
-
A characterization of parikh sets of ETOL languages in terms of F systems
-
M. Ito, C. Martin-Vide, Gh. Pǎnn, A characterization of Parikh sets of ETOL languages in terms of F systems, In: M. Ito, Gh. Pǎun, S. Yu (Eds.), Words, Semigroups, and Transducers, World Scientific. 239-254(2001).
-
(2001)
M. Ito, Gh. Pǎun, S. Yu (Eds.), Words, Semigroups, and Transducers, World Scientific.
, pp. 239-254
-
-
Ito, M.1
Martin-Vide, C.2
Pǎnn, G.3
-
15
-
-
85086053643
-
Computing with membranes: Variants with an enhanced membrane handling
-
M. Margenstem, C. Martin-Vide, Gh. Pǎun, Computing with Membranes: Variants with an Enhanced Membrane Handling, DATA 2001: 340-349.
-
(2001)
DATA
, pp. 340-349
-
-
Margenstem, M.1
Martin-Vide, C.2
Pǎun, G.3
-
18
-
-
0344118797
-
A calculus for longrunning transactions
-
L. Bocchi, C. Laneve, G. Zavattaro, A Calculus for LongRunning Transactions, FMOODS 2003: 124-138.
-
(2003)
FMOODS
, pp. 124-138
-
-
Bocchi, L.1
Laneve, C.2
Zavattaro, G.3
|