Galmiche, Didier;
              
      
            
                Lang, Timo;
              
      
            
                Pym, David;
              
      
        
        
  
(2025)
  Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.
    
    
      In: Galmiche, Didier and Lang, Timo and Pym, David, (eds.)
      Simulation Tools and Techniques (SIMUtools 2024).
      
      (pp. pp. 48-71).
    
 Springer Nature: Cham, Switzerland.
  
  
| ![[thumbnail of David_Didier_Timo.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/text.png) | Text David_Didier_Timo.pdf - Published Version Access restricted to UCL open access staff until 30 April 2026. Download (530kB) | 
| Type: | Proceedings paper | 
|---|---|
| Title: | Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning | 
| Event: | 16th EAI International Conference on Simulation Tools and Techniques | 
| Location: | Bratislava, Slovakia | 
| Dates: | 9th-10th December 2024 | 
| ISBN-13: | 978-3-031-87344-7 | 
| DOI: | 10.1007/978-3-031-87345-4_4 | 
| Publisher version: | https://doi.org/10.1007/978-3-031-87345-4_4 | 
| Language: | English | 
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions. | 
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science | 
| URI: | https://discovery.ucl.ac.uk/id/eprint/10199694 | 
Downloads since deposit
3Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
|  | View Item | 
 
                      
