Multilevel Proof System for Concurrent Object-Oriented Systems 2de France-Japan workshop on Object Based Parallel and distributed Computing October 1997

, &
Hermes (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Second Workshop on Object-Oriented Real-Time Dependable Systems.Object-Oriented Real-Time - forthcoming - Laguna.
Fuzzy logic and applications: 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003: revised selected papers.V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) - 2006 - New York: Springer.
Design and implementation of a distributed object-oriented architecture.Silvio Salza & Mario Terranova - 1996 - Esda 1996: Expert Systems and Ai; Neural Networks 7:157.
An Activity Theory Approach to surfacing the pedagogical object in a primary school mathematics classroom.Joanne Hardman - 2007 - Outlines. Critical Practice Studies 9 (1):53-69.
The IKBALS project: Multi-modal reasoning in legal knowledge based systems. [REVIEW]John Zeleznikow, George Vossos & Daniel Hunter - 1993 - Artificial Intelligence and Law 2 (3):169-203.
Object-Oriented Programming and Objectivist Epistemology: Parallels and Implications.Adam Reed - 2003 - Journal of Ayn Rand Studies 4 (2):251-284.
The role of agency in distributed cognitive systems.Ronald N. Giere - 2006 - Philosophy of Science 73 (5):710-719.
Identity management in GRID computing and Service Oriented Architectures: research and practice. [REVIEW]Theodora Varvarigou & Vassiliki Andronikou - 2009 - Identity in the Information Society 2 (2):95-98.
Workshop on Security Issues on Grid/Distributed Computing Systems (SIGDCS 2006)-Towards Reliable and Trustworthy Cooperation in Grid: A Pre-evaluating Set Based Trust Model.Xiangli Qu, Jingwei Zhong & Xuejun Yang - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 3984--224.
Fine-grained Concurrency with Separation Logic.Kalpesh Kapoor, Kamal Lodaya & Uday S. Reddy - 2011 - Journal of Philosophical Logic 40 (5):583-632.
A multi-relation approach of general systems and tests of applications.Yi Lin - 1989 - Synthese 79 (3):473-488.
Feature-placing and proto-objects.Austen Clark - 2004 - Philosophical Psychology 17 (4):443-469.
Modelling Parameterisation in Concurrent Object Systems.J. Küster Filipe - 1997 - Logic Journal of the Igpl 5 (6).
ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.

Analytics

Added to PP
2014-03-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references