Result 141 to 160 of 160 total
IO and OI revisited. (English)
Les arbres en algèbre et en programmation, 7ème Colloq., Lille 1982, 179-210 (1982).
141
Continuous data types. (English)
SIAM J. Comput. 11, 201-216 (1982).
142
A message oriented language for system applications (English)
ICDCS, 824-832 (1982).
143
Conceptual modeling of data base operations. (English)
Int. J. Comput. Inform. Sci. 10, 299-314 (1981).
144
A synchronization calculus for message oriented programming (English)
ICDCS, 433-445 (1981).
145
Resource = abstract data type + synchronization - A methodology for message oriented programming (English)
ICSE, 263-272 (1981).
146
On the design and specification of message oriented programs. (English)
Int. J. Comput. Inform. Sci. 9, 161-191 (1980).
147
A communication data type for message oriented programming. (English)
Int. Symp. Programming, Proc., Paris 1980, Lect. Notes Comput. Sci. 83, 79-91 (1980).
148
Higher order data types. (English)
Int. J. Comput. Inform. Sci. 9, 31-53 (1980).
149
A methodology for message oriented programming (English)
Fachtagung über Programmiersprachen, 83-93 (1980).
150
A communication data type for message oriented programming (English)
Symposium on Programming, 79-91 (1980).
151
Equations compared with clauses for specification of abstract data types (English)
Advances in Data Base Theory, 159-193 (1979).
152
The semantics of a simple nondeterministic language. (English)
Program transformations, Proc. 3rd int. Symp. Program., Paris 1978, 159-172 (1978).
153
Pumping lemmas for term languages. (English)
J. Comput. Syst. Sci. 17, 319-330 (1978).
154
Mathematical semantics and a model for data bases. (English)
Inf. Process. 77, Proc. IFIP Congr., Toronto 1977, 133-138 (1977).
155
Mathematical semantics and a model for data bases (English)
IFIP Congress, 133-138 (1977).
156
A generalized approach to formal languages. (English)
J. Comput. Syst. Sci. 8, 409-439 (1974).
157
Parallel rewriting systems on terms. (English)
Automata, Languages, Progr.; 2nd Colloqu., Univ. Saarbrücken, Lecture Notes Computer Sci. 14, 495-510 (1974).
158
Parallel rewriting systems on terms (English)
ICALP, 495-510 (1974).
159
The characterization of the derivation trees of context free sets of terms as regular sets (English)
SWAT (FOCS), 224-230 (1972).
160
Result 141 to 160 of 160 total
Start
Contact
Print
General Help
