Languages
Agha, Gul.
Overview
| Works: | 2 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Quantitative evaluation of systems13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
(1998 :); Agha, Gul.; SpringerLink (Online service); Van Houdt, Benny.
(Electronic resources)
Formal modelingactors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Agha, Gul.; Danvy, Olivier.; Meseguer, Jose.; SpringerLink (Online service)
(Electronic resources)
Coordination models and languages12th international conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010 : proceedings /
by:
(1998 :); Agha, Gul.; Clarke, Dave.; SpringerLink (Online service)
(Electronic resources)
Concurrent objects and beyondpapers dedicated to Akinori Yonezawa on the occasion of his 65th birthday /
by:
Agha, Gul.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
High performance computing.
Computing Methodologies.
Electronic data processing
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Machine theory
Programming Techniques.
Computer software
Operating Systems.
Computer systems
Reliability (Engineering)
Petri nets
Computation by Abstract Devices.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Models and Principles.
Information Systems Applications (incl.Internet)
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
Computer networks
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Object-oriented programming (Computer science)