In this paper we propose a technique for verification of mobile systems. We translate finite control processes, which are a well-known subset of pi-Calculus, into Petri nets, which are subsequently used for model checking. This translation always yields bounded Petri nets with a small bound, and we develop a technique for computing a non-trivial bound by static analysis. Moreover, we introduce ...

Hieronymus Münzer, Itinerarium, hg. von Klaus Herbers unter Mitarbeit Wiebke Deimann, René Hurtienne, Sofia Meyer, Miriam Montag, Lisa Walleit. Mit einem Beitrag Tina B. Orth-Müller (Monumenta Germaniae Historica, Reiseberichte des Mittelalters, 1. Band). Wiesbaden: Harrassowitz 2020. 572 S., 8 z. T. farb. Abb. ISBN 978-3-447-10972-7. Geb. € 148,–Klaus Herbers, Der Reisebericht Münzer. Ein Nürn...

The E155 Collaboration P. L. Anthony, R. G. Arnold,1,†† T. Averett, H. R. Band, N. Benmouna, W. Boeglin, H. Borel, P. E. Bosted,1,†† S. L. Bültmann,14,§§ G. R. Court, D. Crabb, D. Day, P. Decowski, P. DePietro, H. Egiyan, R. Erbacher,12,∞ R. Erickson, R. Fatemi, E. Frlez, K. A. Griffioen, C. Harris, E. W. Hughes, C. Hyde-Wright, G. Igo, J. Johnson, P. King, K. Kramer, S. E. Kuhn, D. Lawrence, Y...

Organizational commitment is one of the most researched areas in behavioral studies. As to an organization backbone for any effectively functioning organization, has received a very special attention by practitioners organization. Age, tenure and gender are antecedents organizational commitment. This paper studies with relation gender, age among private school teachers Lucknow, India. The study...

the non-destructive meyer method was evaluated to determine the bark volume of beech (fagus orientalis lipsky) stands in north of iran. the sample size was 185 standing trees collected from 4 geographical aspects (north, south, west and east) aspects. the constant k values and bark thickness (2e mm) of 185 standing trees were used to calculate the bark volume by the meyer method. in this study,...