TR03-01 (2003) – Concurrent Composition of Objects in Hidden Logic

Dorel Lucanu

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

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},
  note = 	 {URL:http://www.infoiasi.ro/~tr/tr.pl.cgi}
}