Languages
Palamidessi, Catuscia.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal techniques for distributed objects, components, and systems34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(1998 :); Abraham, Erika.; Palamidessi, Catuscia.; SpringerLink (Online service)
(Electronic resources)
Concur 2000concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 :proceedings /
by:
(1998 :); Palamidessi, Catuscia.; SpringerLink (Online service)
(Electronic resources)
Principles of declarative programming10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
by:
(1998 :); Glaser, Hugh.; Meinke, Karl.; Palamidessi, Catuscia.; SpringerLink (Online service)
(Electronic resources)
Logic programming19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings /
by:
(1998 :); Palamidessi, Catuscia.; SpringerLink (Online service)
(Electronic resources)
Theory of security and applicationsJoint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
(1998 :); Modersheim, Sebastian.; Palamidessi, Catuscia.; SpringerLink (Online service)
(Electronic resources)
Subjects
Declarative programming
Software Engineering.
Computer network protocols
Mathematical Logic and Formal Languages.
Electronic data processing
Logics and Meanings of Programs.
Logic programming
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer multitasking
Computer security
Data Encryption.
Parallel processing (Electronic computers)
Computer networks
Computer Science.
Computer Communication Networks.
Computers and Society.