Personal details

Publications

Contact details

    Mailing address:
    Dang Van Hung
    University of Engineering and Technology
    144 Xuan Thuy, Cau Giay
    Hanoi, Vietnam

    E-mail: dvh[aT]vnu[DoT]edu[DoT]vn
    URL: www.coltech.vnu.edu.vn

    Fax: +84 4 37547460



Publications before 1994

[1]

Dang Van Hung and Doan Van Ban. A Survey of Petri Nets and Models for Concurrent Computations (in Vietnamese). Preprint Series, N2B, Institute of Mathematics, Institute of Computer Science and Cybernetics, Hanoi, 1982.
[2]
Dang Van Hung. Languages of Synthesised Concurrent Systems. MTA-SZTAKI Közlemények 31, 1984, pp. 33-43.
[3]
Dang Van Hung. Notes on Trace Languages, Projections and Synthesised Computation Systems. MTA-SZTAKI Közlemények 32, 1985, pp. 87-104. Ref: Computer and Control Abstract, Vol. 221, N. 238, 1986.
[4]
Dang Van Hung and Miklós Szijártó. Synchronized Composition of Languages. Proc. of the Conference of Automata, Languages and Programming, Salgotarján, Hungary, May 1986.
[5]
Dang Van Hung. Concurrent Products of Traces. Computers and Artificial Intelligence, Vol. 7 (1988), N. 1, pp. 25-37.
[6]
Dang Van Hung and Elöd Knuth. Subset Languages Generated by Semi-Computations. MTA-SZTAKI Working Paper, II, 76/86. Ref: Bibliography of Petri Nets, Lecture Notes in Computer Science, Springer-Verlag, 1987.
[7]
Dang Van Hung and Elöd Knuth. Concurrent Behaviour of Transaction Systems. MTA-SZTAKI Working Paper, II, 77/78
[8]
Dang Van Hung and Elöd Knuth. Labelled Trace Languages and Petri Nets. MTA-SZTAKI Working Paper, II, 77/78
[9]
Dang Van Hung. On the Behaviour of Concurrent Systems. Ph.D thesis, Budapest, 1987.
[10]
Dang Van Hung and Elöd Knuth. A Non-interleaving Semantics for Communicating Sequential Processes: A Fixed-Point Approach. Acta Cybernetica, Tom 8, Fasciculus 3, Szeged 1988, pp. 293-311.
[11]
Dang Van Hung and Elöd Knuth. Semi-Commutations and Petri Nets. Theoretical Computer Science, Elsevier Science, 64 (1989), pp. 67-81. doi:10.1016/0304-3975(89)90098-4
[12]
Dang Van Hung and Doan Van Ban. A Method for Designing Parallel Programs. Proceedings of the First World Conference on Parallel Computing in Engineering and Engineering Education, Paris, October 1990, pp. 187-193.
[13]
Dang Van Hung. A Model for Describing the Behaviour and Analysis of Distributed Computation Systems. Journal of Informatics and Cybernetics, Vol. 7 (1991), N. 2, pp. 15-23.
[14]
Dang Van Hung and Doan Van Ban. How Much Information of Concurrency Can Be Got From Firing Sequences of Petri Nets. Journal of Informatics and Cybernetics, Vol. 8 (1992), N. 2, pp. 12-20.
[15]
Dang Van Hung. Labelled Transition System Approach to Distributed Computing Systems. Journal of Informatics and Cybernetics, Vol. 8 (1992), N. 3, pp. 19-32.
[16]
Dang Van Hung and Tran Van Dung. On the Relation Between Firing Sequences and Processes of Petri Nets. Proc. of International Conference on Fundamentals of Computation Theory (FCT'93), Lecture Notes in Computer Science, 710, pp. 309-318, Springer-Verlag, 1993.
[17]
Dang Van Hung. Introduction to Object-Oriented Programming (book in Vietnamese). HoChiMinh City, 1992, 160 p.
[18]
Dang Van Hung et al.. C Programming Language (book in Vietnamese). Institute of Informatics, Hanoi, 1990, 250 p.
[19]
Dang Van Hung et al.. Business System Analysis, Design and Implementation (book in Vietnamese). HoChiMinh City, 1992, 362 p.
[20]
Dang Van Hung and Bach Hung Khang (eds.). Vietnamese translation of Arto Salomma's book "Computation and Automata". Published by "Nha Xuat Ban Khoa Hoc Va Ky Thuat (Science and Technology Publisher)", Hanoi, 1992. 400 p.
[21]
Tran Van Dung and Dang Van Hung. Firing Sequences and Processes of Petri Nets. Journal Acta Mathematica Vietnamica, Vol. 20, No. 2, 1995, pp. 219-232.