Application and Theory of Petri Nets and Concurrency : 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings |
Autore | Kristensen Lars Michael |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2024 |
Descrizione fisica | 1 online resource (449 pages) |
Altri autori (Persone) | van der WerfJan Martijn |
Collana | Lecture Notes in Computer Science Series |
ISBN |
9783031614330
9783031614323 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910865265803321 |
Kristensen Lars Michael
![]() |
||
Cham : , : Springer International Publishing AG, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Web Services, Formal Methods, and Behavioral Types [[electronic resource] ] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer logic Computer communication systems Computer system failures Management information systems Computer science Information Systems Applications (incl. Internet) Software Engineering Logics and Meanings of Programs Computer Communication Networks System Performance and Evaluation Management of Computing and Information Systems |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNISA-996465709903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVII, 167 p. 36 illus.) |
Disciplina | 006 |
Collana | Programming and Software Engineering |
Soggetto topico |
Application software
Software engineering Computer science Computer networks Electronic digital computers—Evaluation Electronic data processing—Management Computer and Information Systems Applications Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks System Performance and Evaluation IT Operations |
ISBN | 3-319-33612-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Kickstarting Choreographic Programming -- On the Suitability of Behavioral Profiles for Process Model Comparison -- Formal Verification of Petri Nets with Names -- Modeling and formal analysis of a client-server application for Cloud services -- An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems -- Designing Efficient XACML Policies for RESTful Services -- Type Inference for Session Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On the decidability of honesty and of its variants. |
Record Nr. | UNINA-9910483617803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|