Concept

Algebra of communicating processes

Publications associées (21)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

A Notion of Glue Expressiveness for Component-Based Systems

Joseph Sifakis, Simon Bliudze

Comparison between different formalisms and models is often by flattening structure and reducing them to behaviourally equivalent models e.g. automaton and Turing machine. This leads to a notion of expressiveness which is not adequate for component-based s ...

Springer2008

Development of novel SU-8 based nanoimprint lithography

Shenqi Xie, Rong Yang

We present two kinds of novel nanoimprint lithography techniques based on SU-8 photoresist with single layer and tri-layer approaches. The imprint templates with high aspect ratio were first fabricated by electron beam lithography (EBL) and reactive ion et ...

2008

Do Nash values have value?

Bettina Schaefli

How Do We Communicate Model Performance? The process of model performance evaluation is of primary importance, not only in the model development and calibration process, but also when communicating the results to other researchers and to stakeholders. The ...

Wiley-Blackwell2007

Practical Foundations of Business and System Specifications

Alain Wegmann, Pavel Balabko

In this work we consider the behavioral aspects of system modeling. In order to specify the behavior of a system, many different notations can be used. Quite often, different terms in these notations are related to the same element in a system implementati ...

Kluwer Academic Publishers2003

Synchronous active objects introduce CSP's primitives in Java

Claude Petitpierre

This paper presents a proposal of a language, based on synchronous active objects that introduces the CSP primitives into Java. The proposal does not use channels to realise the inter-process communications, but is shown to offer the same expressive power ...

IOS Press2002

Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study

The problem addressed in this paper is the following: How to use high-level Petri nets for the reverse engineering of implemented distributed applications ?. We present a reverse engineering methodology applied on a real (simple) Java applet based client/s ...

IEEE Computer Society Press1998

Compositional specification of timed systems

Joseph Sifakis

We present timed automata and timed Petri nets and argue that timed automata and their associated parallel composition operator are not well adapted for the compositional description of timed Petri nets. Timed automata with deadlines are presented. We pres ...

1996

Formal Treatment of Data Structures in Concurrency Models

The problem of real size system modelling with basic concurrency models like transition systems, Petri nets or process algebra is that there is no possibility to model easily the system data structures. Algebraic specification is a method well adapted to t ...

1996

ACCESS - Algebraic Concurrent Events for System Specification

Access is a new algebraic specification formalism, which focuses on the fine description of the ``true'' concurrency and on a high degree of expressivity. Systems are specified by a set of local states, whose value changes under the occurrence of events. B ...

1994

Object oriented method for implementing layered protocols

Claude Petitpierre

This paper presents a novel extension to the C++ programming language, allowing powerful expression of concurrency and synchronization in an object-oriented environment. The principle advantages of this extension over existing alternatives are its powerful ...

Publ by Elsevier Science Publishers B.V., Amsterdam, Neth1994