Modelling Parameterisation in Concurrent Object Systems

Logic Journal of the IGPL 5 (6) (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Review of the paper ‘Concurrent Systems Analysis Using ECATNets’ by F. Belala. [REVIEW]Narcisco Martí-Oliet - 2002 - Logic Journal of the IGPL 10 (4):453-455.
Concurrent systems analysis using ECATNets.F. Belala, M. Bettaz & L. Petrucci-Dauchy - 2000 - Logic Journal of the IGPL 8 (2):149-164.
Formalizing Concurrent Common Knowledge as Product of Modal Logics.Vania Costa & Mario Benevides - 2005 - Logic Journal of the IGPL 13 (6):665-684.
Phase semantics for linear-time formalism.Norihiro Kamide - 2011 - Logic Journal of the IGPL 19 (1):121-143.
Reasoning about Knowledge in Asynchronous Distributed Systems.Vania Costa & Mario Benevides - 2005 - Logic Journal of the IGPL 13 (1):5-28.
Bisimulation, modal logic and model checking games.C. Stirling - 1999 - Logic Journal of the IGPL 7 (1):103-124.
Modelling the hypnotic patient response in general anaesthesia using intelligent models.Esteban Jove, Jose M. Gonzalez-Cava, José-Luis Casteleiro-Roca, Juan-Albino Méndez-Pérez, José Antonio Reboso-Morales, Francisco Javier Pérez-Castelo, Francisco Javier de Cos Juez & José Luis Calvo-Rolle - 2019 - Logic Journal of the IGPL 27 (2):189-201.
Hybrid Modelling of Multilayer Perceptron Ensembles for Predicting the Response of Bolted Lap Joints.J. Fernandez-Ceniceros, F. Antonanzas-Torres, F. J. Martinez-De-Pison & A. Sanz-Garcia - 2015 - Logic Journal of the IGPL 23 (3):451-462.
Hundert Jahre Zellforschung. A. Aschoff, E. Kuster, W. J. Schmidt.Charles A. Kofoid - 1940 - Isis 32 (2):393-394.
Multilevel Proof System for Concurrent Object-Oriented Systems 2de France-Japan workshop on Object Based Parallel and distributed Computing October 1997.J. P. Bahsoun, P. Fares & C. Servières - forthcoming - Hermes.

Analytics

Added to PP
2013-10-31

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