Framed temporal logic programming Journal Articles

authors

• Duan, Zhenhua
• Yang, Xiaoxiao
• Koutny, Maciej

status

• published 

publication date

• January 2008

has subject area

• 0803 Computer Software (FoR)
• Software Engineering (Science Metrix)

published in

• Science of Computer Programming  Journal

keywords

• Computer Science
• Computer Science, Software Engineering
• Science & Technology
• Technology
• communication
• framing
• minimal model
• monotonicity
• semantics
• synchronization
• temporal logic programming

Digital Object Identifier (DOI)

• 10.1016/j.scico.2007.09.001

start page

• 31

end page

• 61

volume

• 70

issue

• 1