A Polynomial Translation of Mobile Ambients into Safe Petri Nets.

Código QR

A Polynomial Translation of Mobile Ambients into Safe Petri Nets.

Detalles Bibliográficos
Formato:	Libro
Acceso en línea:	Ver documento en línea

Ejemplares similares

Advanced course on petri nets /
Publicado: (1996)

Coloured petri nets : modelling and validation of concurrent systems /
Publicado: (2009)

Discrete, Continuous, and Hybrid Petri Nets /
por: David, René., et al.
Publicado: (2010)

Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
por: Gorrieri, Roberto.
Publicado: (2017)

Application and theory of petri nets : 33rd International conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings.

Applications and theory of petri nets : 29th International Conference, PETRI NETS 2008, Xi´an, China, June 23-27, 2008. Proceedings.

Applications and theory of petri nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings.

Applications and theory of petri nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings.

Applications and theory of petri nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings.

Application and theory of petri nets and concurrency : proceedings /
Publicado: (2017)

An interactive graphical tool for modeling Petri nets /
por: Vargas Castillo, Carlos A., et al.
Publicado: (1973)

Application and theory of petri nets and concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings.

Application and theory of petri nets and concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings.

Application and theory of petri nets and concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings.

Application and theory of petri nets and concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings.

Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings.

Application and theory of petri nets and concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings.

Application and theory of petri nets and concurrency : 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings.

Application and theory of petri nets and concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings.

Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado: (2017)

Polynomials /
por: Barbeau, E. J., et al.
Publicado: (1989)

Anomalies in net present value, returns and polynomials, and regret theory in decision-making.

Mobile ASP.NET MVC 5 /
por: Sowell, Eric.
Publicado: (2013)

Bernstein polynomials
por: Lorentz, G. G., et al.
Publicado: (1953)

Bessel Polynomials /
por: Grosswald, Emil, et al.
Publicado: (1964)

Orthogonal polynomials.
por: Szego, Gabor 1895-1985, et al.
Publicado: (1939)

Orthogonal polynomials.
por: Szego, Gabor 1895-1985
Publicado: (1959)

Zonal polynomials /
por: Takemura, Akimichi, et al.
Publicado: (1984)

Rings with polynomial identities /
por: Mueller, Bruno J., et al.
Publicado: (1977)

Polynomial root squeezing.
por: Boelkins, Matthew

A Polynomial Approach to Linear Algebra.

A primer on Bernoulli numbers and polynomials.
por: Apostol, Tom M.

Symmetric functions and hall polynomials /
por: MacDonald, Ian Grant, et al.
Publicado: (1995)

Fourier series and orthogonal polynomials /
por: Jackson, Dunham n. 1888, et al.
Publicado: (1981)

Fourier series and orthogonal polynomials /
por: Jackson, Dunham n. 1888, et al.
Publicado: (1957)

Orthogonal polynomials and special functions /
por: Askey, Richard, et al.
Publicado: (1975)

Discrete mathematics and polynomial algebra.

Mariam / Henry A. Petrie
por: Petrie, Henry A.
Publicado: (2015)

Milaji / Henry A. Petrie
por: Petrie, Henry A.

Mariam / Henry A. Petrie
por: Petrie, Henry A.
Publicado: (2015)