BOA Bicocca Open Archive >
On orthomodular posets generated by transition systems
Sui debiti concettuali del principio di sussidiarietà. Contributo allo studio di un concetto quasi-moderno
An Algebraic Model of Observable Properties in Distributed Systems
Gli istituti di difesa della Costituzione
Observation equivalences for the semantics of inheritance