-
2
-
-
0040880105
-
Theory of Regions
-
W. Reisig, G, Rozenberg, Eds, Springer
-
Badouel, E., Darondeau, P.: Theory of Regions, Petri Nets (W. Reisig, G, Rozenberg, Eds.), 1491, Springer, 1996.
-
(1996)
Petri Nets
, pp. 1491
-
-
Badouel, E.1
Darondeau, P.2
-
3
-
-
0039693997
-
On the Synchronic Structure of Transition Systems
-
J. Desel, Ed, Springer
-
Bernardinello, L., Michelis, G. D., Petruni, K., Vigna, S.: On the Synchronic Structure of Transition Systems, Structures in Concurrency Theory (J. Desel, Ed.), Springer, 1995.
-
(1995)
Structures in Concurrency Theory
-
-
Bernardinello, L.1
Michelis, G.D.2
Petruni, K.3
Vigna, S.4
-
4
-
-
58149508757
-
Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets
-
W. Reisig, G. Rozenberg, Eds, Springer
-
Billington, J.: Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets, Petri Nets (2) (W. Reisig, G. Rozenberg, Eds.), 1492, Springer, 1998.
-
(1998)
Petri Nets (2)
, pp. 1492
-
-
Billington, J.1
-
5
-
-
0039694000
-
Synthesis of Nets with Inhibitor Arcs
-
A. W. Mazurkiewicz, J. Winkowski, Eds, Springer
-
Busi, N., Pinna, G. M.: Synthesis of Nets with Inhibitor Arcs, CONCUR (A. W. Mazurkiewicz, J. Winkowski, Eds.), 1243, Springer, 1997.
-
(1997)
CONCUR
, pp. 1243
-
-
Busi, N.1
Pinna, G.M.2
-
6
-
-
48249140350
-
Synthesis of Nets with Step Firing Policies
-
Technical Report CS-TR-1080, Newcastle University
-
Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.: Synthesis of Nets with Step Firing Policies, Technical Report CS-TR-1080, Newcastle University, 2008.
-
(2008)
-
-
Darondeau, P.1
Koutny, M.2
Pietkiewicz-Koutny, M.3
Yakovlev, A.4
-
7
-
-
30644462497
-
Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits
-
Dasgupta, S., Potop-Butucaru, D., Caillaud, B., Yakovlev, A.: Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits, Electr. Notes Theor. Comput. Sci., 146(2), 2006, 81-103.
-
(2006)
Electr. Notes Theor. Comput. Sci
, vol.146
, Issue.2
, pp. 81-103
-
-
Dasgupta, S.1
Potop-Butucaru, D.2
Caillaud, B.3
Yakovlev, A.4
-
8
-
-
58149521168
-
Modelling and Analysis of Distributed Software Using GSPNs
-
W. Reisig, G. Rozenberg, Eds, Springer
-
Donatelli, S., Franceschinis, G.: Modelling and Analysis of Distributed Software Using GSPNs, Petri Nets (2) (W. Reisig, G. Rozenberg, Eds.), 1492, Springer, 1998.
-
(1998)
Petri Nets (2)
, pp. 1492
-
-
Donatelli, S.1
Franceschinis, G.2
-
9
-
-
0025386067
-
Theory of 2-Structures, Part 1: Clans, Basic Subclasses, and Morphisms
-
Ehrenfeucht, A., Rozenberg, G.: Theory of 2-Structures, Part 1: Clans, Basic Subclasses, and Morphisms, Theor. Comput. Sci., 70(3), 1990,277-303.
-
(1990)
Theor. Comput. Sci
, vol.70
, Issue.3
, pp. 277-303
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
10
-
-
0030574523
-
Trapping Mutual Exclusion in the Box Calculus
-
Esparza, J., Brans, G.: Trapping Mutual Exclusion in the Box Calculus, Theor. Comput. Sci., 153(1&2), 1996,95-128.
-
(1996)
Theor. Comput. Sci
, vol.153
, Issue.1-2
, pp. 95-128
-
-
Esparza, J.1
Brans, G.2
-
11
-
-
0016972709
-
Formal Verification of Parallel Programs
-
Keller, R. M.: Formal Verification of Parallel Programs, Commun. ACM, 19(7), 1976, 371-384.
-
(1976)
Commun. ACM
, vol.19
, Issue.7
, pp. 371-384
-
-
Keller, R.M.1
-
12
-
-
38149022949
-
Synchrony and Asynchrony in Membrane Systems
-
H. J. Hoogeboom, G. Paun, G. Rozenberg, A. Salomaa, Eds, Springer
-
Kleijn, J., Koutny, M.: Synchrony and Asynchrony in Membrane Systems, Workshop on Membrane Computing (H. J. Hoogeboom, G. Paun, G. Rozenberg, A. Salomaa, Eds.), 4361, Springer, 2006.
-
(2006)
Workshop on Membrane Computing
, pp. 4361
-
-
Kleijn, J.1
Koutny, M.2
-
13
-
-
58149493513
-
Towards a Petri Net Semantics for Membrane Systems
-
R. Freund, G. Paun, G. Rozenberg, A. Salomaa, Eds, Springer
-
Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems, Workshop on Membrane Computing (R. Freund, G. Paun, G. Rozenberg, A. Salomaa, Eds.), 3850, Springer, 2005.
-
(2005)
Workshop on Membrane Computing
, pp. 3850
-
-
Kleijn, J.1
Koutny, M.2
Rozenberg, G.3
-
14
-
-
33749571109
-
Transition Systems of Elementary Net Systems with Localities
-
C. Baier, H. Hermanns, Eds, Springer
-
Koutny, M., Pietkiewicz-Koutny, M.: Transition Systems of Elementary Net Systems with Localities, CONCUR (C. Baier, H. Hermanns, Eds.), 4137, Springer, 2006.
-
(2006)
CONCUR
, pp. 4137
-
-
Koutny, M.1
Pietkiewicz-Koutny, M.2
-
15
-
-
38149120804
-
Synthesis of Elementary Net Systems with Context Arcs and Localities
-
J. Kleijn, A. Yakovlev, Eds, Springer
-
Koutny, M., Pietkiewicz-Koutny, M.: Synthesis of Elementary Net Systems with Context Arcs and Localities, ICATPN (J. Kleijn, A. Yakovlev, Eds.), 4546, Springer, 2007.
-
(2007)
ICATPN
, pp. 4546
-
-
Koutny, M.1
Pietkiewicz-Koutny, M.2
-
16
-
-
21844489027
-
Contextual Nets
-
Montanari, U., Rossi, F: Contextual Nets, Acta Inf., 32(6), 1995, 545-596.
-
(1995)
Acta Inf
, vol.32
, Issue.6
, pp. 545-596
-
-
Montanari, U.1
Rossi, F.2
-
17
-
-
0000873334
-
Petri Nets and Step Transition Systems
-
Mukund, M.: Petri Nets and Step Transition Systems, Int. J. Found. Comput. Sci., 3(4), 1992, 443-478.
-
(1992)
Int. J. Found. Comput. Sci
, vol.3
, Issue.4
, pp. 443-478
-
-
Mukund, M.1
-
18
-
-
0027113362
-
Elementary Transition Systems
-
Nielsen, M., Rozenberg, G., Thiagarajan, P. S.: Elementary Transition Systems, Theor. Comput. Sci., 96(1), 1992,3-33.
-
(1992)
Theor. Comput. Sci
, vol.96
, Issue.1
, pp. 3-33
-
-
Nielsen, M.1
Rozenberg, G.2
Thiagarajan, P.S.3
-
19
-
-
0002659052
-
Models for Concurrency
-
S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, Eds
-
Nielsen, M., Winskel, G.: Models for Concurrency, in: Handbook of Logic in Computer Science 4 (S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, Eds.), 1995, 1-148.
-
(1995)
Handbook of Logic in Computer Science 4
, pp. 1-148
-
-
Nielsen, M.1
Winskel, G.2
-
20
-
-
0037174201
-
A guide to membrane computing
-
Paun, G., Rozenberg, G.: A guide to membrane computing, Theor. Comput. Sci., 287(1), 2002, 73-100.
-
(2002)
Theor. Comput. Sci
, vol.287
, Issue.1
, pp. 73-100
-
-
Paun, G.1
Rozenberg, G.2
-
21
-
-
0040368689
-
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
-
Pietkiewicz-Koutny, M.: The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs, Fundam. Inform., 40(2-3), 1999, 251-283.
-
(1999)
Fundam. Inform
, vol.40
, Issue.2-3
, pp. 251-283
-
-
Pietkiewicz-Koutny, M.1
-
22
-
-
0036537155
-
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
-
Pietkiewicz-Koutny, M.: Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems, Fundam. Inform., 50(2), 2002, 175-203.
-
(2002)
Fundam. Inform
, vol.50
, Issue.2
, pp. 175-203
-
-
Pietkiewicz-Koutny, M.1
-
23
-
-
58149495100
-
-
Vogler, W.: Partial Order Semantics and Read Arcs, MFCS (1. Prívara, P. Ruzicka, Eds.), 1295, Springer, 1997.
-
Vogler, W.: Partial Order Semantics and Read Arcs, MFCS (1. Prívara, P. Ruzicka, Eds.), 1295, Springer, 1997.
-
-
-
|