Dorel Lucanu

An operator _|_ for concurrent composition of objects specified in hidden logic is proposed and the main properties for this operator are proved.

Full Document (PS)

Bibtex

@TechReport{ccohl,
    author = 	 {Dorel Lucanu},
    title = 	 {Concurrent Composition of Objects in Hidden Logic},
    institution = {University ``A.I.Cuza'' of Iac{s}i, Faculty of Computer Science},
    year = 	 {2003},
    number = 	 {TR 03-01},
    url = 	 {https://publications.info.uaic.ro/technical-reports/archive/tr03-01-2003-concurrent-composition-of-objects-in-hidden-logic/}
}