×

zbMATH — the first resource for mathematics

Goltz, Ursula

Compute Distance To:
Author ID: goltz.ursula Recent zbMATH articles by "Goltz, Ursula"
Published as: Goltz, Ursula; Goltz, U.
External Links: MGP
Documents Indexed: 32 Publications since 1983

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 235 times in 179 Documents Cited by Year
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
55
1983
Equivalence notions for concurrent systems and refinement of actions. Zbl 0755.68095
van Glabbeek, Rob; Goltz, Ursula
44
1989
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula
42
2001
Modelling nondeterministic concurrent processes with event structures. Zbl 0717.68028
Loogen, Rita; Goltz, Ursula
12
1991
On distributability in process calculi. Zbl 1381.68215
Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula
11
2013
On representing CCS programs by finite Petri nets. Zbl 0649.68015
Goltz, Ursula
9
1988
On characterising distributability. Zbl 1274.68261
van Glabbeek, Rob J.; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
9
2013
Processes of place/transition-nets. Zbl 0523.68046
Goltz, U.; Reisig, W.
7
1983
On the relationship of CCS and Petri nets. Zbl 0562.68049
Goltz, Ursula; Mycroft, Alan
6
1984
On distributability of Petri nets (extended abstract). Zbl 1352.68192
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
6
2012
Comparing syntactic and semantic action refinement. Zbl 0853.68129
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
6
1996
On causal semantics of Petri nets (extended abstract). Zbl 1343.68179
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
5
2011
Abstract processes of place/transition systems. Zbl 1260.68282
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
5
2011
On synchronous and asynchronous interaction in distributed systems. Zbl 1173.68585
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
3
2008
Well-behaved flow event structures for parallel composition and action refinement. Zbl 1068.68095
van Glabbeek, Rob; Goltz, Ursula
3
2004
On condition/event representations of place/transition systems. Zbl 0634.68059
Goltz, Ursula
2
1987
CSP-programs as nets with individual tokens. Zbl 0571.68044
Goltz, Ursula; Reisig, Wolfgang
2
1985
Finite Petri nets as models for recursive causal behaviour. Zbl 0795.68146
Goltz, Ursula; Rensink, Arend
2
1994
Synchrony versus causality in distributed systems. Zbl 1362.68220
Peters, Kirstin; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula; Nestmann, Uwe
1
2016
Synchronic distance. Zbl 0632.68060
Goltz, Ursula
1
1987
Partial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care. Zbl 0683.68068
van Glabbeck, Rob; Goltz, Ursula
1
1989
On syntactic and semantic action refinement. Zbl 0942.68633
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
1
1994
Symmetric and asymmetric asynchronous interaction. Zbl 1291.68291
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
1
2009
Special issue on “Combining compositionality and concurrency”. I. Zbl 1315.00129
van Glabbeek, Rob J. (ed.); Goltz, Ursula (ed.); Olderog, Ernst-Rüdiger (ed.)
1
2015
Synchrony versus causality in distributed systems. Zbl 1362.68220
Peters, Kirstin; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula; Nestmann, Uwe
1
2016
Special issue on “Combining compositionality and concurrency”. I. Zbl 1315.00129
van Glabbeek, Rob J.; Goltz, Ursula; Olderog, Ernst-Rüdiger
1
2015
On distributability in process calculi. Zbl 1381.68215
Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula
11
2013
On characterising distributability. Zbl 1274.68261
van Glabbeek, Rob J.; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
9
2013
On distributability of Petri nets (extended abstract). Zbl 1352.68192
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard
6
2012
On causal semantics of Petri nets (extended abstract). Zbl 1343.68179
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
5
2011
Abstract processes of place/transition systems. Zbl 1260.68282
van Glabbeek, Rob J.; Goltz, Ursula; Schicke, Jens-Wolfhard
5
2011
Symmetric and asymmetric asynchronous interaction. Zbl 1291.68291
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
1
2009
On synchronous and asynchronous interaction in distributed systems. Zbl 1173.68585
van Glabbeek, Rob; Goltz, Ursula; Schicke, Jens-Wolfhard
3
2008
Well-behaved flow event structures for parallel composition and action refinement. Zbl 1068.68095
van Glabbeek, Rob; Goltz, Ursula
3
2004
Refinement of actions and equivalence notions for concurrent systems. Zbl 0969.68081
van Glabbeek, Rob; Goltz, Ursula
42
2001
Comparing syntactic and semantic action refinement. Zbl 0853.68129
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
6
1996
Finite Petri nets as models for recursive causal behaviour. Zbl 0795.68146
Goltz, Ursula; Rensink, Arend
2
1994
On syntactic and semantic action refinement. Zbl 0942.68633
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
1
1994
Modelling nondeterministic concurrent processes with event structures. Zbl 0717.68028
Loogen, Rita; Goltz, Ursula
12
1991
Equivalence notions for concurrent systems and refinement of actions. Zbl 0755.68095
van Glabbeek, Rob; Goltz, Ursula
44
1989
Partial order semantics for refinement of actions - neither necessary nor always sufficient but appropriate when used with care. Zbl 0683.68068
van Glabbeck, Rob; Goltz, Ursula
1
1989
On representing CCS programs by finite Petri nets. Zbl 0649.68015
Goltz, Ursula
9
1988
On condition/event representations of place/transition systems. Zbl 0634.68059
Goltz, Ursula
2
1987
Synchronic distance. Zbl 0632.68060
Goltz, Ursula
1
1987
CSP-programs as nets with individual tokens. Zbl 0571.68044
Goltz, Ursula; Reisig, Wolfgang
2
1985
On the relationship of CCS and Petri nets. Zbl 0562.68049
Goltz, Ursula; Mycroft, Alan
6
1984
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
55
1983
Processes of place/transition-nets. Zbl 0523.68046
Goltz, U.; Reisig, W.
7
1983
all top 5

Cited by 210 Authors

13 van Glabbeek, Robert Jan
12 Montanari, Ugo G.
9 Best, Eike
9 Gorrieri, Roberto
9 Majster-Cederbaum, Mila E.
8 Baldan, Paolo
8 Goltz, Ursula
6 Devillers, Raymond
6 Nestmann, Uwe
6 Peters, Kirstin
5 Degano, Pierpaolo
5 Koutny, Maciej
5 Phillips, Iain W.
5 Ulidowski, Irek
5 Virbitskaite, Irina B.
5 Vogler, Walter
4 Baier, Christel
4 Bruni, Roberto
4 Desel, Jörg
4 Fröschle, Sibylle B.
4 Johansen, Christian
4 Polyvyanyy, Artem
3 Fecher, Harald
3 Hildebrandt, Thomas T.
3 Kindler, Ekkart
3 Lasota, Sławomir
3 Meseguer Guaita, José
3 Nielsen, Mogens
3 Normann, Håkon
3 Rensink, Arend
3 Sassone, Vladimiro
3 Schicke-Uffmann, Jens-Wolfhard
3 Schicke, Jens-Wolfhard
3 Winskel, Glynn
2 Åman Pohjola, Johannes
2 Armas-Cervantes, Abel
2 Bradfield, Julian Charles
2 Busi, Nadia
2 Castellani, Ilaria
2 Cattani, Gian Luca
2 Corradini, Andrea
2 Cristescu, Ioana Domnina
2 Darondeau, Philippe
2 De Nicola, Rocco
2 De Oliveira Oliveira, Mateus
2 Engelfriet, Joost
2 Gadducci, Fabio
2 Garavel, Hubert
2 García-Bañuelos, Luciano
2 Gorla, Daniele
2 Gribovskaya, Nataliya Sergeevna
2 Gutierrez, Julian
2 Janicki, Ryszard
2 Jategaonkar, Lalita A.
2 Juhás, Gabriel
2 Kleijn, H. C. M.
2 Kleijn, Jetty H. C. M.
2 Kouzapas, Dimitrios
2 Krivine, Jean
2 La Rosa, Marcello
2 Lorenz, Robert G.
2 Melgratti, Hernán
2 Meyer, Albert Ronald
2 Pérez, Jorge A.
2 Pinna, G. Michele
2 Pomello, Lucia
2 Roggenbach, Markus
2 Schlachter, Uli
2 ter Hofstede, Arthur H. M.
2 Walter, Rolf
2 Weidlich, Matthias
2 Wu, Jinzhao
2 Yoshida, Nobuko
1 Adobbati, Federica
1 Akshay, S.
1 Alqarni, Mohammad
1 Arbach, Youssef
1 Arjona, J. L.
1 Arnold, André
1 Aubert, Clément
1 Badouel, Eric
1 Beggiato, Alessandro
1 Bergenthum, Robin
1 Bernardeschi, Cinzia
1 Bernardinello, Luca
1 Bisping, Benjamin
1 Bloom, Bard
1 Bossi, Annalisa
1 Boudol, Gérard
1 Boyer, Marc
1 Bozhenkova, Elena N.
1 Bracciali, Andrea
1 Brand, Daniel
1 Brogi, Antonio
1 Bushin, D. I.
1 Carraro, Alberto
1 Casal, Filipe
1 Cherief, Ferroudja
1 Cherkasova, Ludmila A.
1 Conforti, Raffaele
...and 110 more Authors

Citations by Year