A framed temporal logic programming language Journal Articles

authors

• Duan, Zhen-Hua
• Koutny, Maciej

status

• published 

publication date

• May 2004

has subject area

• 08 Information and Computing Sciences (FoR)
• Software Engineering (Science Metrix)

published in

• Journal of Computer Science and Technology  Journal

keywords

• Computer Science
• Computer Science, Hardware & Architecture
• Computer Science, Software Engineering
• Science & Technology
• Technology
• concurrency
• frame
• projection
• temporal logic
• temporal logic programming

Digital Object Identifier (DOI)

• 10.1007/bf02944904

start page

• 341

end page

• 351

volume

• 19

issue

• 3