Agents or expressions: which semantics for a process calculus: (LIT 230)

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Publication Publié, 1991

Travail de recherche/Working paper

Titre:	Agents or expressions: which semantics for a process calculus: (LIT 230)
Auteur:	Massart, Thierry; Devillers, Raymond
Informations sur la publication:	Laboratoire d'informatique théorique, ULB
Statut de publication:	Publié, 1991
Sujet CREF:	Informatique mathématique
Langue:	Anglais

Monitoring and real time risk analysis of earth dams
par Zlotnik, Sergio , Garcia Gonzalez, Alberto , Díez, Pedro , Massart, Thierry,Jacques
Publication 2025-03-15
Towards automated image-based cohesive zone modeling of cracking in irregular masonry
par Kamel, Karim Ehab Moustafa , Massart, Thierry,Jacques
Publication 2025-01-01
Modelling of 3D Woven Textile Reinforced Cement Composites RVEs
par Toderascu, Christian , Massart, Thierry,Jacques , Tysmans, Tine
Publication 2024-09-18
Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025
Image-Based Kinematic Limit Analysis for Historic Masonry with Zero-Thickness Mortar Joints
par Hermans, Yahroun Fei , Grillanda, Nicola , Ehab Moustafa Kamel, Karim , Milani, Gabriele , Massart, Thierry,Jacques
Publication 2024-12-16

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.