A Dynamic Temporal Logic for Quality of Service in Choreographic Models Conferences

authors

• Pombo, Carlos Gustavo Lopez
• Suñé, Agustín E Martinez
• Tuosto, Emilio

status

• published 

publication date

• 2023

has subject area

• Artificial Intelligence & Image Processing (Science Metrix)

published in

• Lecture Notes in Computer Science  Journal

presented at event

• 20th International Colloquium on Theoretical Aspects of Computing (ICTAC)  Conference

keywords

• CALCULUS
• Computer Science
• Computer Science, Artificial Intelligence
• Computer Science, Software Engineering
• Computer Science, Theory & Methods
• SEMANTICS
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1007/978-3-031-47963-2_9

International Standard Book Number (ISBN) 13

• 9783031479625

start page

• 119

end page

• 138

volume

• 14446