Back to main publications list  

Some Older Works

Scientific journals

 

1.       E.N. Todoran, Continuation semantics for maximal parallelism and imperative concurrency,  Automation, Computers, Applied Mathematics, 23(1):29-35, 2014. ISSN 1221-437X

2.       E.N. Todoran. A study on the relationship between direct semantics and continuation semantics for concurrency. Automation, Computers, Applied Mathematics, 21(1):3-17, 2012. ISSN 1221-437X

3.       M. Ivan, E.N. Todoran. Comparative metric semantics for modern second order communication abstractions. Automation, Computers, Applied Mathematics, 19(2):11-27, 2010. ISSN 1221-437X

4.       E.N. Todoran, M. Ivan. Metric semantics for second-order communication: a continuation-based approach. Automation, Computers, Applied Mathematics, 16(2):201-215, 2007. ISSN 1221-437X

5.       E.N. Todoran, P. Mitrea, N. Papaspyrou. Comparative semantics for the basic Andorra model. Automation, Computers, Applied Mathematics, 14(1):27-41, 2005.

6.       E.N. Todoran, F. Boian, C. Melenti, N. Papaspyrou. Continuations for remote objects control. Studia Universitatis Babes-Bolyai Informatica, 50:21-37, 2005.

7.       E.N. Todoran, N. Papaspyrou, F. Boian, C. Ivan. Continuation semantics for concurrency and concurrent languages prototyping.  Scientific Annals of A.I. Cuza University, 15:22-37, 2004.

8.      E.N. Todoran, N. Papaspyrou, K. Pusztai. Denotational prototype semantics for a simple CSP-like language. Automation, Computers, Applied Mathematics, 13(2):301-308, 2004. ISSN 1221-437X

9.       E.N. Todoran and Nikolaos Papaspyrou. CSC in concurrent languages prototyping. Automation, Computers, Applied Mathematics, 12(2):33-45, 2003. 

10.   E.N. Todoran. Denotational interpreter for a CSP-like language. Automation, Computers, Applied Mathematics, 11(2):19-33, 2002.

11.    E.N. Todoran. Continuation semantics for concurrency. Automation, Computers, Applied Mathematics, 6(1):31-46, 1997.

12.    E.N. Todoran. Epilog: a language for parallel logic programming - design and programming examples. Automation, Computers, Applied Mathematics, 5(1-2):39-48, 1996. ISSN
1221437X

13.    E.N. Todoran. A non-procedural language. Automation, Computers, Applied Mathematics, 4(2):45-56, 1995.   

14.    E.N. Todoran. Non-determinism and logic programming in NPL. Automation, Computers, Applied Mathematics, 3(2):27-38, 1994.

15.    E.N. Todoran. An operational semantics for process algebra and two mechanisms for the control of nondeterminism in NPL. Automation, Computers, Applied Mathematics, 3(1): 48–58, 1994. ISSN 1221437X

16.    E.N. Todoran. The dataflow mechanism in NPL. Automation, Computers, Applied Mathematics, 3(1): 78–91, 1994. ISSN 1221437X

17.    E.N. Todoran. NPL: design, semantics and programming examples. Automation, Computers, Applied Mathematics, 2(2): 94–106, 1993. ISSN 1221437X 

18.   E.N. Todoran. An operational semantics for process algebra. Automation, Computers, Applied Mathematics, 2(1): 77–91, 1993. ISSN 1221437X

19.  E.N. Todoran. The meaning of symbols in programming languages. Automation, Computers, Applied Mathematics, 1(2): 57–64, 1992. ISSN 1221437X

 

Conference proceedings

 

1.       G.Ciobanu, E.N. Todoran. Continuation semantics for asynchronous concurrency (extended abstract). Proc. 20th Int. Workshop on Algebraic Development Techniques (WADT 2010), pp. 62-64, Germany, 2010.

2.       E.N. Todoran, N. Papaspyrou, K. Pusztai. Denotational prototype semantics for a simple CSP-like language. Proceedings of the 8th IEEE International Conference on Intelligent Engineering Systems (INES 2004), pp. 319-325, 2004.

3.       E.N. Todoran. Continuation semantics for concurrency: second order communication through shared memory. Proc. of CONTI'98, pp. 122-132, Timisoara, Romania, 1998.

4.       E.N. Todoran. Denotational semantics for an Or-parallel Prolog system. Proc. of CONTI'96, pp. 69-77, Timisoara, Romania, 1996.

5.       E.N. Todoran. Epilog: a language for parallel logic programming based on the extended Andorra model. In Proc. of 4th Romanian Conference on Open Systems (ROSE’96), pp. 51–58, 1996.

6.       E.N. Todoran. About non-determinism as a union of behaviors in parallel programming. In Proc. of Intelligent Computer Communication 95 (ICC'95), pp. 224-228, Cluj-Napoca, Romania, 1995.

7.       E.N. Todoran. An operational semantics for NPL. In Proc. of 3rd Romanian Conference on Open Systems 95 (ROSE'95), pp. 47-56, Bucharest, Romania, 1995.   

8.      E.N. Todoran. Dataflow semantics in NPL. Proc. of CONTI'94, pp. 77-86, Timisoara, Romania, 1994.

9.       E.N. Todoran. A process algebra language. Proc. of ROSYCS'93, pp. 507-526, Iasi, Romania, 1993.   

 

 

Technical reports

 

1.       G.Ciobanu, E.N. Todoran. Semantic interpreter for membrane computing implemented in Haskell (for CMC 2016)