مرکز منطقه ای اطلاع رساني علوم و فناوري - An upper bound for the equational specification of finite state services

Title of article :

An upper bound for the equational specification of finite state services

Author/Authors :

J.A. Bergstra، نويسنده , , I. Bethke، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2005

Pages :

From page :

267

To page :

269

Keywords :

data structures , Specification languages , Boundedness properties , Client–server composition

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130092

Link To Document :