Bicocca Open Archive

Logo unimib boa

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 60
Titolo Tipologia Data di pubblicazione Autori File
Between quantum logic and concurrency 02 - Intervento a convegno 2012 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +
On orthomodular posets generated by transition systems 01 - Articolo su rivista 2011 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
Dynamically closed sets for the logical analysis of systems 99 - Altro 2011 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +
Closure Operators and Lattices Derived from Concurrency in Posets and Occurrence Nets 01 - Articolo su rivista 2010 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
Orthomodular lattices induced by the concurrency relation 01 - Articolo su rivista 2009 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
Concurrency, communication and computation. A position paper 03 - Contributo in libro 2009 Bernardinello, LCardone, FPomello, L
Orthomodular lattices induced by the concurrency relation 02 - Intervento a convegno 2009 Bernardinello, LPomello, L +
Orthomodular lattices in occurrence nets 02 - Intervento a convegno 2009 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA
Closure operators associated to partially ordered sets 02 - Intervento a convegno 2009 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIAROMBOLA', STEFANIA +
On orthomodular posets generated by transition systems 02 - Intervento a convegno 2008 ROMBOLA', STEFANIAPOMELLO CHINAGLIA POMELLO, LUCIABERNARDINELLO, LUCA
A Multi-facet Approach to Dynamic Agent Systems 01 - Articolo su rivista 2008 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +
Modelling and Analysing Systems of Agents by Agent-Aware Transition Systems 03 - Contributo in libro 2008 Bernardinello, LPomello, L +
On preserving structural and behavioural properties by composing net systems on interfaces 01 - Articolo su rivista 2007 BERNARDINELLO, LUCAPOMELLO CHINAGLIA POMELLO, LUCIA +
Modelling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets 02 - Intervento a convegno 2007 BERNARDINELLO, LUCAMASCHERONI, MARCOPOMELLO CHINAGLIA POMELLO, LUCIA +
Modelling mobility with Petri Hypernets 02 - Intervento a convegno 2005 Bernardinello, LPomello, L +
Formal Tools for Modular System Development 02 - Intervento a convegno 2004 POMELLO CHINAGLIA POMELLO, LUCIABERNARDINELLO, LUCA
An Algebraic Model of Observable Properties in Distributed Systems 01 - Articolo su rivista 2003 Bernardinello, LFerigato, CPomello Chinaglia Pomello, L
Modular system development with pullbacks 02 - Intervento a convegno 2003 Bernardinello, LPomello, L +
Towards Modular Synthesis of EN Systems 03 - Contributo in libro 2002 Bernardinello, LPomello, L +
Observation equivalences for the semantics of inheritance 03 - Contributo in libro 1999 POMELLO CHINAGLIA POMELLO, LUCIA +
Mostrati risultati da 41 a 60 di 60
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile