![]() ![]() Nielsen, M., Thiagarajan, P.S.: Degrees of non-determinism and concurrency: A Petri net view. Berlin Heidelberg New York: Springer 1980 Milner, R.: A calculus of communicating systems (Lect. Lauer, P.E., Campbell, R.: Formal semantics of a class of high-level primitives for coordinating concurrent processes. Berlin Heidelberg New York: Springer 1985 ![]() Goltz, U., Reisig, W.: CSP programs as nets with individual tokens (Lect. Goltz, U.: On representing CCS programs by finite Petri nets. Proceedings of the International Conference on Algebraic Methodology and Software Technology-Iowa City, USA (1989) ![]() Van Glabbeek, R., Weijland, W.: Refinement in branching time semantics. Berlin Heidelberg New York: Springer 1987 Parallel Architectures and Languages Europe. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. Van Glabbeek, R., Vaandrager, F.: Petri net models for algebraic concurrency. Van Glabbeek, R., Goltz, U.: Equivalence notions and refinement of actions for flow event structures. Berlin Heidelberg New York: Springer 1990 Stepwise refinement of distributed systems. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. Van Glabbeek, R., Goltz, U.: Refinement of actions in causality based models. Berlin Heidelberg New York: Springer 1989 (eds.) Mathematical Foundations of Computer Science (Lect. Arbeitspapiere der GMD 366 (1989) Extended abstract in: Kreczmar, A., Mirkowska, G. Van Glabbeek, R., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions. IFIP Working Group Conference on Programming Concepts and Methods. Van Glabbeek, R.: The refinement theorem for ST-bisimulation semantics. Petri Net Newsletter 29, 16–19 (1988)ĭevillers, R.: Maximality preserving bisimulation. 85–105) Berlin Heidelberg New York: Springer 1988ĭevillers, R.: On the definition of a bisimulation notion based on partial words. 26, 59–91 (1988)ĭegano, P., Gorrieri, R., Marchetti, S.: An exercise in concurrency: A CSP process as a condition/event system: In: Rozenberg, G. Amsterdam: North Holland 1987ĭegano, P., de Nicola, R., Montanari, U.: A distributed operational semantics for CCS based on condition/event systems. Berlin Heidelberg New York: Springer 1983ĭegano, P., de Nicola, R., Montanari, U.: Observational equivalences for concurrency models. (eds.), Application and Theory of Petri Nets (Inf. CIL'81, Barcelona (1981)ĭe Cindio, F., de Michelis, G., Pomello, L., Simone, C.: Milner's communicating systems and Petri Nets. Berlin Heidelberg New York: Springer 1990ĭe Cindio, F., de Michelis, G., Pomello, L., Simone, C.: A Petri net model of CSP. of Mathematical Foundations of Computer Science 90. EATCS 31, 12–15 (1987)ĭarondeau, Ph., Degano, P.: Event structures, causal trees and refinements. Berlin Heidelberg New York: Springer (accepted for publication)Ĭastellano, L., de Michelis, G., Pomello, L.: Concurrency vs. München, submitted to Advances in Petri Nets 1990 (Lect. Berlin Heidelberg New York: Springer 1987īrauer, W., Gold, R., Vogler, W.: Behaviour and equivalence preserving refinements of Petri Nets. 195 (1987)īoudol, G., Castellani, I.: On the semantics of concurrency: Partial orders and transition systems. 1 (1988)īest, E., Fernández, C.: Notation and terminology on Petri net theory. 216–220) Berlin Heidelberg New York: Springer 1987īest, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. of Advanced Course on Petri Nets, Bad Honnef (1986) (Lect. 138–145 (1989)īest, E.: COSY: Its relation to nets and to CSP. LICS 89 (Asilomar, California), IEEE Computer Society Press, pp. Report 3/88, Computer Science Department, University of Sussex (1988). Visit our website or contact our Customer Care team with any feedback or questions.Aceto, L., Hennessy, M.: Towards action-refinement in process algebras. Secure card payments, with cash on delivery option Free delivery above our minimum spending Try at a location of your choice for free. Tap thousands of styles and brands on the Pomelo App. Join our loyalty program, Pomelo Perks*, for VIP sale access, & more! Get 10% Off your 1st order! Plus, enjoy weekly in-app sales & deals. Shop 1,000s of styles & brands all in one place, online & in-stores.ĭiscover a unique shopping experience with weekly new arrivals, exclusive collections, sustainable & lifestyle apparel & products - all at your fingertips. Pomelo is Southeast Asia’s leading omnichannel platform with a global mindset: on-trend, online, on-the-go. Refresh your wardrobe + 10% off on 1st order on Pomelo Appĭownload the App & join our #PomeloGirls community. ![]()
0 Comments
Leave a Reply. |